Journal of Symbolic Logic 35 (4):575-576 (1970)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2271449 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Heyting A.. Some Remarks on Intuitionism. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 69–71. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):673-674.
Porte Jean. Quelques Pseudo-Paradoxes de la “Calculabilité Effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, Pp. 332–334.Kalmár László. An Argument Against the Plausibility of Church's Thesis. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 72–80.Peter Rózsa. Rekursivität Und Konstruktivität. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 226–233.Mendelson Elliott. On Some Recent Criticism of Church's Thesis. Notre Dame Journal of Formal Logic, Vol. 4 No. 3 , Pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Fitch Frederic B.. Quasi-Constructive Foundations for Mathematics. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Beth E. W.. Remarks on Intuitionistic Logic. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Myhill John. Finitely Representable Functions. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 195–207. [REVIEW]Martin Davis - 1973 - Journal of Symbolic Logic 38 (1):157-158.
Rasiowa H.. Algebraische Charakterisierung der Intuitionistischen Logik MIT Starker Negation. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 234–240. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-119.
Bernays Paul. Über Eine Natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A.. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 1–14. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
Kleene S. C.. Realizability. Constructivity In Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A.. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 285–289.Kleene S. C.. Realizability. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 100–104. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
Andrzej Mostowski. Recent Results in Set Theory. Problems in the Philosophy of Mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1, Edited by Imre Lakatos, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1967, Pp. 82–96. - G. Kreisel, A. Robinson, L. Kalmár, and A. Mostowski. Discussion. Problems in the Philosophy of Mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1, Edited by Imre Lakatos, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1967, Pp. 97–108. - Andrzej Mostowski. O Niektórych Nowych Wynikach Meta-Matematycznych Dotyczących Teorii Mnogości . Polish with Russian and English Summaries. Studia Logica, Vol. 20 , Pp. 99–116. [REVIEW]T. Jech - 1972 - Journal of Symbolic Logic 37 (4):765-766.
Kreisel G., Lacombe D., and Shoenfield J.. Effective Operations and Partial Recursive Functionals. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 364–365.Kreisel G., Lacombe D., and Shoenfield J. R.. Partial Recursive Functionals and Effective Operations. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North Holland Publishing Company, Amsterdam 1959, Pp. 290–297. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (2):261-262.
Reviews. Alfred Tarski. Preface. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. VIII–IX. Alfred Tarski. A General Method in Proofs of Undecidability. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and Essential Undecidability in Arithmetic. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 39–74. Alfred Tarski. Undecidability of the Elementary Theory of Groups. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 77–87. Bibliography. Undecidable Theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1953, Pp. 89–91. Index. Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Kleene S. C.. Countable Functionals. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 81–100.Kleene S. C.. Recursive Functionals of Higher Finite Types. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton 1960, Pp. 148–154. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (3):359-360.
Kreisel G.. Gödel's Intepretation of Heyting's Arithmetic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 125–133.Kreisel G.. Relations Between Classes of Constructive Functional. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 292–302.Kreisel Georg. Interpretation of Analysis by Means of Constructive Functional of Finite Types. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 101–128. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Peter Aczel. Quantifiers, Games and Inductive Definitions. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Kanger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 1–14. - Kit Fine. Some Connections Between Elementary and Modal Logic. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Kanger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the Finite Frame Property in Boolean Semantics. Proceedings of the Third Scandinavian Logic Symposium, Edited by Stig Kanger, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
L. E. J. Brouwer. On the Foundations of Mathematics. English Translation of 1551, with Added Notes by the Editor. L. E. J. Brouwer, Collected Works, Volume 1, Philosophy and Foundations of Mathematics, Edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 13–101, 565–569. - L. E. J. Brouwer. Die Möglichen Mächtigkeiten. A Reprint of 1554, with Added Notes by the Editor. L. E. J. Brouwer, Collected Works, Volume 1, Philosophy and Foundations of Mathematics, Edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 102-104, 569. - L. E. J. Brouwer. On the Foundations of Mathematics. Partial English Translation of 1553, with Added Notes by the Editor. L. E. J. Brouwer, Collected Works, Volume 1, Philosophy and Foundations of Mathematics, Edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxfor. [REVIEW]Joan Rand Moschovakis - 1979 - Journal of Symbolic Logic 44 (2):271-275.
Analytics
Added to PP index
2016-06-30
Total views
12 ( #805,513 of 2,497,996 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,996 )
2016-06-30
Total views
12 ( #805,513 of 2,497,996 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,996 )
How can I increase my downloads?
Downloads
