Facet browsing currently unavailable
Page 3 of 14312 results
Sort by: relevance publication year
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS JOURNAL ARTICLE published June 2017 in The Journal of Symbolic Logic |
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 |
Á. 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 |
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 |
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 |
Supercompact cardinals, elementary embeddings and fixed points JOURNAL ARTICLE published March 1982 in Journal of Symbolic Logic |
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 |
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 |
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 |