Andrzej Mostowski. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1952, VIII + 117 pp.

JOURNAL ARTICLE published June 1954 in Journal of Symbolic Logic

Authors: G. Hasenjaeger

Gerhard Gentzen. Investigations into logical deduction. English translation of 4422 by M. E. Szabo. American philosophical quarterly, vol. 1 (1964), pp. 288–306, and vol. 2 (1965), pp. 204–218. - Paul Bernays. Introduction.Therein, vol. 1, p. 288.

JOURNAL ARTICLE published March 1970 in Journal of Symbolic Logic

Authors: John Riser

Alan Rose. Many-valued logical machines. Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 307–321.

JOURNAL ARTICLE published June 1962 in Journal of Symbolic Logic

Authors: Robert McNaughton

B. I. Finikov. Ob odnom séméjstvé klassov funkcij algébry logiki i ih réalizacii v klassé II-shém (On a family of classes of functions in the algebra of logic and their realizations in the class of II-circuits). Doklady Akadémii Nauk SSSR, vol. 115 (1957), pp. 247–248.

JOURNAL ARTICLE published December 1964 in Journal of Symbolic Logic

Authors: Andrzej Blikle

Lennart Âqvist. A new approach to the logical theory of interrogatives. Part I. Analysis. Filosofiska föreningen i Uppsala, Uppsala1965, iv + 174 pp.

JOURNAL ARTICLE published 9 October 1967 in Journal of Symbolic Logic

Authors: David Harrah

Karl Menger. What are x and y?. The mathematical gazette, vol. 40 (1956), pp. 246–255.

JOURNAL ARTICLE published September 1960 in Journal of Symbolic Logic

Authors: H. E. Vaughan

A. A. Zinov'év. Logika vyskazyvanij i téoriá vyvoda (Propositional logic and theory of deduction). Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, 152 pp.

JOURNAL ARTICLE published September 1965 in Journal of Symbolic Logic

Authors: David Dinsmore Comey

Kurt Gödel. Zur intuitionistischen Arithmetik und Zahlentheorie (1933e). A reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 286– 294. - Kurt Gödel. On intuitionistic arithmetic and number theory (1933e). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 287– 295. - A. S. Troelstra. Introductory note to 1933e. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 282– 287.

JOURNAL ARTICLE published March 1990 in Journal of Symbolic Logic

Authors: Martin Davis

Hans Hermes. Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 pp.

JOURNAL ARTICLE published March 1980 in Journal of Symbolic Logic

Authors: Don Pigozzi

DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS

JOURNAL ARTICLE published June 2017 in The Journal of Symbolic Logic

Authors: ANDRÉS EDUARDO CAICEDO | MARTIN ZEMAN

E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 (1967), pp. 93–103.

JOURNAL ARTICLE published September 1970 in Journal of Symbolic Logic

Authors: Wolfram Schwabhäuser

Á. I. Méklér. Péréhodnyé režimy v réléjno-kontaktnyh shémah (Transient process in relay-contact circuits). Avtomattka t téléméhanika, vol. 18 (1957), pp. 59–70.

JOURNAL ARTICLE published March 1959 in Journal of Symbolic Logic

Authors: Zdzisław Pawlak

N. H. McCoy. Remarks on divisors of zero. The American mathematical monthly, vol. 49 (1942), pp. 286–295.

JOURNAL ARTICLE published December 1942 in Journal of Symbolic Logic

Authors: P. Lagerström

JSL volume 44 issue 4 Cover and Back matter

JOURNAL ARTICLE published December 1979 in Journal of Symbolic Logic

Stephen C. Kleene. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 154–165.

JOURNAL ARTICLE published June 1962 in Journal of Symbolic Logic

Authors: Donald L. Kreider

Supercompact cardinals, elementary embeddings and fixed points

JOURNAL ARTICLE published March 1982 in Journal of Symbolic Logic

Authors: Julius B. Barbanel

E. W. Beth. De betekenis van de wijsbegeerte der exacte wetenschapperr als universitair studievak en als terrein van wetenschappelijk onderzoek (The significance of the philosophy of the exact sciences as a university subject and as a field of scientific research). North-Holland Publishing Company, Amsterdam1953, 20 pp.

JOURNAL ARTICLE published December 1957 in Journal of Symbolic Logic

Authors: Alfons Borgers

JSL volume 20 issue 1 Cover and Back matter

JOURNAL ARTICLE published March 1955 in Journal of Symbolic Logic

H. Rasiowa. Sur un certain système d'axiomes du calcul des propositions. Norsk matematisk tidsskrift, vol. 31 (1949), pp. 1–3.

JOURNAL ARTICLE published September 1949 in Journal of Symbolic Logic

Authors: Alfons Borgers

Hao Wang. Eighty years of foundational studies. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 34–56. A reprint of XXVIII 173.

JOURNAL ARTICLE published December 1963 in Journal of Symbolic Logic

Authors: Steven Orey