-
170A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310Journal of Symbolic Logic 35 (1): 138-138. 1970.
-
42The Axiom of Fundierung and the Axiom of ChoiceArchive for Mathematical Logic 4 (3-4): 65. 1958.
-
3Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidabilityPhilosophia Mathematica 8 (3): 345-346. 2000.
-
82Bernays Paul. Axiomatic set theory. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1958, VIII + 226 pp.Fraenkel A. A.. Part I. Historical introduction. Therein, pp. 3–35 (review)Journal of Symbolic Logic 24 (3): 224-225. 1959.
-
79On some recent criticism of Church's ThesisNotre Dame Journal of Formal Logic 4 (3): 201-205. 1963.
-
77Wang Hao. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351Journal of Symbolic Logic 30 (2): 244-244. 1965.
-
117Some proofs of independence in axiomatic set theoryJournal of Symbolic Logic 21 (3): 291-303. 1956.
-
85
-
104Halpern J. D.. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 , pp. 57–66Journal of Symbolic Logic 32 (2): 273-274. 1967.
-
63Meeting of the Association for Symbolic Logic, New York, 1974Journal of Symbolic Logic 40 (2): 299-304. 1975.
-
77Theory and Problems of Boolean Algebra and Switching CircuitsJournal of Symbolic Logic 39 (3): 615-615. 1974.
-
Review: Paul Bernays, Axiomatic Set Theory (review)Journal of Symbolic Logic 24 (3): 224-225. 1959.
-
131
-
182Anita Burdman Feferman and Solomon Feferman. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press, 2004. Pp. vi + 435. ISBN 0-521-80240-7 (review)Philosophia Mathematica 13 (2): 231-232. 2005.
-
104Annual meeting of the association for symbolic logicJournal of Symbolic Logic 31 (4): 682-696. 1966.
-
41Strongly Related Models and Recursively Complete AlgebrasJournal of Symbolic Logic 31 (4): 649-650. 1966.
-
48Philosophical Problems of Many-Valued Logic (review)Journal of Philosophy 63 (15): 445-446. 1966.
-
107Lévy Azriel. On models of set theory with urelements. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 463–465Journal of Symbolic Logic 36 (4): 682-682. 1971.
-
82A Semantic Proof of the Eliminability of DescriptionsZeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14): 199-200. 1960.
-
175Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors (review)Journal of Symbolic Logic 25 (2): 177-178. 1960.
-
90Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71 (review)Journal of Symbolic Logic 34 (2): 307-307. 1969.
-
193Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X (review)Philosophia Mathematica 13 (2): 228-230. 2005.
-
47Quelques Pseudo-Paradoxes de la "Calculabilité Effective."Journal of Symbolic Logic 33 (3): 471-472. 1968.
