Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications Colloque Sur les Fondements des Mathématiques, les Machines Mathématques, Et Leurs Applications. Kolloquium Über Die Grundlagen der Mathematik, Mathematische

, &
Akadémiai Kiadó (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,497

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Colloque Sur les Fondements des Mathématiques, les Machines Mathématiques, Et Leurs Applications Tihany, 11-15 Septembre 1962.László Kalmár, Magyar Tudományos Akadémia & Bolyai János Matematikai Társulat - 1965 - Gauthier-Villars E. Nauwelaerts.
Bečvář Jiří. A universal Turing machine with a programming tape. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by Kalmár László, Akadémiai Kiadó, Budapest 1965, pp. 11–20. [REVIEW]R. M. Baer - 1971 - Journal of Symbolic Logic 36 (3):535-535.
Church Alonzo. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 21–26. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):821-821.
The Design of Logical Machines.Jean Florine - 1973
Kalmár László. K. Schröter egy, az általános rekurzív függvény fogalmának definíciójára vonatkozó problémájának megoldása . A Magyar Tudományos Akadémia Matematikai és Fizikai Tudományok Osztályának Közleményei , vol. 5 no. 2 , pp. 103–127. [REVIEW]John G. Kemeny - 1960 - Journal of Symbolic Logic 25 (2):164-165.
Über Einen Quantifikator Mit Zwei Wirk Ungsbereichen.Klaus Härtig - 1962 - In Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications.
Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications.Klaus Härtig - 1962
Logic Tutors and Their Applications.Robert Beghie Matthews & John Roger Abrahams - 1968
Les Fondements Logiques des Mathématiques.I. L. Novak - 1951 - Journal of Symbolic Logic 16 (2):153-154.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references