-
A Semantic Proof of the Eliminability of DescriptionsMathematical Logic Quarterly 6 (7‐14): 199-200. 2006.
-
15IndexIn Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. pp. 545-551. 2006.
-
20ContentsIn Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. 2006.
-
8PrefaceIn Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. pp. 7-8. 2006.
-
18On the Impossibility of Proving the “Hard-Half” of Church’s ThesisIn Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. pp. 304-309. 2006.
-
70Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76 (review)Journal of Symbolic Logic 35 (1): 143-143. 1970.
-
112The Incomplete Universe: Totality, Knowledge, and TruthPhilosophical Quarterly 44 (176): 409. 1994.
-
174Second Thoughts about Church's Thesis and Mathematical ProofsJournal of Philosophy 87 (5): 225-233. 1990.
-
34Isomorphism of Systems of Recursively Enumerable Sets with Effective PropertiesJournal of Symbolic Logic 32 (3): 393-394. 1967.
-
66J. W. Swanson. A reduction theorem for normal algorithms. The journal of symbolic logic, vol. 31 , pp. 86–97Journal of Symbolic Logic 32 (1): 123. 1967.
-
68A. I. Mal′cév. Polno numérovannyé množéstva . Algébra i logika, Séminar, vol. 2 no. 2 , pp. 4–29. - A. I. Mal′cév. K téorii vyčislimyh séméjstv obéktov . Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 , pp. 5–31. - A. I. Mal′cév. Pozitwnyé i négatwnyé numéracii . Doklady Akadémii Nauk, SSSR, vol. 160 , pp. 278–280Journal of Symbolic Logic 35 (2): 336-337. 1970.
-
87M. D. Gladstone. Finite models for inequalities. The journal of symbolic logic, vol. 31 , pp. 581–592Journal of Symbolic Logic 33 (3): 479. 1968.
-
79A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma . Uspéhi matématičéskih nauk, vol. 13 no. 4 , pp. 3–28Journal of Symbolic Logic 38 (4): 655. 1973.
-
85B. A. Trahténbrot. O častotnom vyčislénii funkcij . Algébra i logika, Séminar, vol. 2 no. 1 , pp. 25–32Journal of Symbolic Logic 39 (3): 606. 1974.
-
101Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 ppJournal of Symbolic Logic 51 (3): 829-829. 1986.
-
12Some Proofs of Independence in Axiomatic Set TheoryJournal of Symbolic Logic 23 (1): 42-44. 1958.
-
110Logic, Methodology, and Philosophy of Science. Three ReviewsLogic, Methodology, and Philosophy of ScienceJournal of Philosophy 61 (2): 76. 1964.
-
45Foundations: Logic, Language, and MathematicsSpringer. 1984.The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students. Finally, there are still other approaches that address some of the technical problems arising when we try to provide an account of belief and of rational choice. - These include efforts to provide logical frameworks within which we can make sense of these notions. Thi…Read more
-
26Some Properties of Constructive Real Numbers and Constructive FunctionsJournal of Symbolic Logic 40 (3): 454-454. 1975.
-
36Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional CalculiJournal of Symbolic Logic 37 (4): 756-757. 1972.
-
212Introduction to mathematical logicVan Nostrand. 1964.The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
-
62A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 , pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj . Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236 (review)Journal of Symbolic Logic 32 (4): 531-532. 1968.
-
3A Semantic Proof Of The Eliminability Of DescriptionsMathematical Logic Quarterly 6 (7-14): 199-200. 1960.
-
75Uspénskij V. A.. Lékcii o vyčislimyh funkciáh . Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow 1960, 492 pp (review)Journal of Symbolic Logic 31 (2): 263-264. 1966.
-
93Scott Dana. On constructing models for arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 235–255Journal of Symbolic Logic 38 (2): 336-337. 1973.