Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917--1957

Notre Dame Journal of Formal Logic 3 (1):1-40 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957057

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Guido Küng. Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917–1957. Notre Dame journal of formal logic, vol. 3, pp. 5–40. - I. M. Bocheński. Preface. Notre Dame journal of formal logic, vol. 3, pp. 1–4. [REVIEW]E. M. Fels - 1963 - Journal of Symbolic Logic 28 (3):253-254.
Curry Haskell B.. A theory of formal deducibility. Second edition of XVI 56. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, xi + 129 pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
A note on metaphysics and the foundations of mathematics.Robert L. Wilson - 1977 - Notre Dame Journal of Formal Logic 18 (3):355-362.
Algorithms and the mathematical foundations of computer science.W. Dean - forthcoming - Notre Dame Journal of Formal Logic.
The published work of Kurt Gödel: an annotated bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
Mathematical logic in the soviet union (1917–1947 and 1947–1957).G. Küng - 1961 - Studies in East European Thought 1 (1):39-43.
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. [REVIEW]O. Bradley Bassler - 2005 - Notre Dame Journal of Formal Logic 46 (1):107-125.
Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography".John W. Dawson - 1984 - Notre Dame Journal of Formal Logic 25 (3):283-287.
Book Review: Paolo Mancuso. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. [REVIEW]Craig Fraser - 1999 - Notre Dame Journal of Formal Logic 40 (3):447-454.
Bibliography of Ivo Thomas.Deirdre La Porte - 1977 - Notre Dame Journal of Formal Logic 18 (2):195-207.

Analytics

Added to PP
2010-08-24

Downloads
13 (#1,041,284)

6 months
2 (#1,446,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Early Development of the Algebraic Theory of Semigroups.Christopher Hollings - 2009 - Archive for History of Exact Sciences 63 (5):497-536.
The heritage of S. A. Janovskaja.Irving H. Anellis - 1987 - History and Philosophy of Logic 8 (1):45-56.
Mathematical logic in the soviet union, 1917–1980.Irving H. Anellis - 1987 - History and Philosophy of Logic 8 (1):71-76.

Add more citations

References found in this work

No references found.

Add more references