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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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.
Ourselves and Computers: Differences in Minds and Machines.Aart Bijl - 1995 - Palgrave.
The Design of Logical Machines.Jean Florine - 1973
Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):821-821.
Logic Tutors and Their Applications.Robert Beghie Matthews & John Roger Abrahams - 1968
The Logic Design of Transistor Digital Computers.Gerald A. Maley & John Earle - 1963 - Prentice-Hall.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
Abstract mathematical tools and machines for mathematics.Jean-Pierre Marquis - 1997 - Philosophia Mathematica 5 (3):250-272.
La Constitution de la Théorie des Automates.Jean Mosconi - 1990 - A.N.R.T. Université de Lille Iii.
Kolloquium „Grundlagen der Mathematik, Mathematische Maschinen und Ihre Anwendungen”.[author unknown] - 1962 - Mathematical Logic Quarterly 8 (3-4):353-355.
Mathematical epistemology and psychology.Evert Willem Beth - 1966 - New York,: Gordon & Breach. Edited by Jean Piaget.
Topics in Engineering Logic: International Series of Monographs on Electronics and Instrumentation.Morton Nadler - 2013 - Pergamon Press.
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science.Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987

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