- (1 other version)Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl.Gottlob Frege - 1884 - Wittgenstein-Studien 3 (2):993-999.details
|
|
(5 other versions)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.details
|
|
Gottlob Frege: Eine Einführung in sein Werk.Franz von Kutschera - 1989 - Berlin: de Gruyter. Edited by Gottlob Frege.details
|
|
(1 other version)Mathesis universalis.Heinrich Scholz - 1961 - Basel,: B. Schwabe.details
|
|
Philosophie der Mathematik Und Naturwissenschaft: Nach der 2. Auflage des Amerikanischen Werkes Übersetzt Und Bearbeitet von Gottlob Kirschmer.Hermann Weyl - 2009 - Oldenbourg Wissenschaftsverlag.details
|
|
Bericht über untersuchungen zur allgemeinen axiomatik.Rudolf Carnap - 1930 - Erkenntnis 1 (1):303-307.details
|
|
(1 other version)Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1988 - Meiner, F.details
|
|
Die alte und die neue logik.Rudolf Carnap - 1930 - Erkenntnis 1 (1):12-26.details
|
|
On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.details
|
|
(1 other version)Grundlagen der Arithmetik: Studienausgabe mit dem Text der Centenarausgabe.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner Verlag.details
|
|
Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.R. Carnap - 1935 - Erkenntnis 5 (1):288-289.details
|
|