Formal systems and recursive functions : proceedings / edited by J.N. Crossley and M.A.E. Dummett.
| Title | Formal systems and recursive functions : proceedings / edited by J.N. Crossley and M.A.E. Dummett. |
|---|---|
| Publication Date: | 1965 |
| Publication Place | Amsterdam - North-Holland Pub. Co., 1965. |
| Subject | Logic, Symbolic and mathematical -- Congresses. |
| Type | Book |
| Language | Arabic |
| Digital | No |
| Manuscript | No |
| Pages Count | 320 |
| Physical Dimensions | 23 cm |
| Library: | The Institute for Advanced Study (IAS) |
| Record ID | 3100001~!49728~!1852 |
| Library Location | Math Stacks |
| Date | 1965 |
| Notes | Includes bibliographical references.. 320 p. ; 23 cm. |
| Seri | Studies in logic and the foundations of mathematics |
