A. M. Turing. Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 2. Folge, Bd. 45, Heft 3 (1939), S. 161–228.

JOURNAL ARTICLE published September 1939 in Journal of Symbolic Logic

Authors: Andrzej Mostowski

Morris Weitz. Analysis and the unity of Russell's philosophy. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, Northwestern University, Evanston and Chicago1944, pp. 55–121.

JOURNAL ARTICLE published September 1944 in Journal of Symbolic Logic

Authors: Charles A. Baylis

Hyman Kamel. Relational algebra and uniform spaces. The journal of the London Mathematical Society, vol. 29 (1954), pp. 342–344.

JOURNAL ARTICLE published December 1957 in Journal of Symbolic Logic

Authors: Hugo Ribeiro

Daya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 7–11. - S. Bhattacharyya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 4 (1959), pp. 93–96.

JOURNAL ARTICLE published June 1959 in Journal of Symbolic Logic

Authors: Theodore Hailperin

Yrjö Reenpää. Die Dualität des Verstandes. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, 1950, no. 7, pp. 341–414. Reprinted, Springer-Verlag, Heidelberg 1950, 76 pp.

JOURNAL ARTICLE published December 1951 in Journal of Symbolic Logic

Authors: Carl G. Hempel

Reviews - Evert W. Beth. Wijsbegeerte der wiskunde (Philosophy of mathematics). Philosophische bibliotheek. Standaard-Boekhandel, Antwerp; Dekker and van de Vegt, Nijmegen; new edition wholly rewritten, 1948, 387 pp.

JOURNAL ARTICLE published 16 May 1949 in Journal of Symbolic Logic

Authors: Julius Kraft

Paulette Destouches-Février. Logique et théories physiques. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C^ie, Paris1951, pp. 45–54.

JOURNAL ARTICLE published March 1954 in Journal of Symbolic Logic

Authors: J. C. C. McKinsey

Andrea Cantini. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp.

JOURNAL ARTICLE published March 1998 in Journal of Symbolic Logic

Authors: Thomas Strahm

Guido Calogero. Lezioni di filosofia. Volume primo. Logica, gnoseologia, ontologia. Giulio Einaudi, Turin1948, IX + 278 pp. - Guido Calogero. Lezioni di filosofia. Volume terzo. Estetica, semanlica, istorica. Giulio Einaudi, Turin1947, IX + 392 pp.

JOURNAL ARTICLE published March 1950 in Journal of Symbolic Logic

Authors: Robert Feys

Jerzt Łoś. O matrycach logicznych (On logical matrices). Prace Wrocławskiego Towarzystwa Naukowego, series B, no. 19. Wrocław1949, 42 pp.

JOURNAL ARTICLE published March 1951 in Journal of Symbolic Logic

Authors: Jan Kalicki

Daniel Lacombe. Sur le semi-réseau constitué par les degrés d'indécidabilité récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 239 (1954), pp. 1108–1109.

JOURNAL ARTICLE published June 1958 in Journal of Symbolic Logic

Authors: Hartley Rogers

F. A. Kabakov. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 16–18. - F. A. Kabakov. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 562–564.

JOURNAL ARTICLE published September 1972 in Journal of Symbolic Logic

Authors: Gene F. Rose

Jacques Riguet. Sur l'extension du calcul des relations binaires au calcul des matrices à éléments dans une algèbre de Boole complète. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), t. 238 (1954), p. 2382–2385.

JOURNAL ARTICLE published December 1956 in Journal of Symbolic Logic

Authors: Roland Fraïssé

Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 167–247. - James W. Garson. Quantification in modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 249–307. - Nino B. Cocchiarella. Philosophical perspectives on quantification in tense and modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 309–353.

JOURNAL ARTICLE published December 1989 in Journal of Symbolic Logic

Authors: Steven T. Kuhn

Lovely pairs of models: the non first order case

JOURNAL ARTICLE published September 2004 in Journal of Symbolic Logic

Authors: Itay Ben-Yaacov

Shôji Maehara. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 (1954), pp. 923–926.

JOURNAL ARTICLE published March 1962 in Journal of Symbolic Logic

Authors: Kurt Schütte

R. A. Kocourek. An evaluation of symbolic logic. Proceedings of The American Catholic Philosophical Association, vol. 22 (pub. 1948), pp. 95–104.

JOURNAL ARTICLE published 16 May 1949 in Journal of Symbolic Logic

Authors: Alonzo Church

Claude E. Shannon. A symbolic analysis of relay and switching circuits. Transactions of the American Institute of Electrical Engineers, vol. 57 (1938), pp. 713–723.

JOURNAL ARTICLE published June 1939 in Journal of Symbolic Logic

Authors: Charles A. Baylis

Homer H. Dubs. Definition and its problems. The philosophical review, vol. 52 (1943), pp. 566–577.

JOURNAL ARTICLE published 29 March 1944 in Journal of Symbolic Logic

Authors: Frederic B. Fitch

Á. M. Barzdin′. Ob odnom klassé mašin T′ύringa (mašiny Minskogo) (On a class of Turing machines (Minsky machines)). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 42–51.

JOURNAL ARTICLE published February 1968 in Journal of Symbolic Logic

Authors: David S. Tartakoff