Einführung in die Unvollständigkeitstheoreme [Book Review]

Bulletin of Symbolic Logic 13 (2):243-243 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600002250

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

Einführung in die Logik.Paul Lorenzen - 1950 - Journal of Symbolic Logic 15 (3):227-228.
Einführung in die Logik.Wilhelm K. Essler - 1980 - Journal of Symbolic Logic 45 (2):381-382.
Franco Montagna, Giulia Simi, and Andrea Sorbi. Logic and probabilistic systems. Archive for mathematical logic, vol. 35 , pp. 225–261. [REVIEW]J. B. Paris - 2000 - Bulletin of Symbolic Logic 6 (2):223-225.
Einführung in Die Logistik Vorzüglich in den Modalkalkül.Oskar Becker - 1951 - Westkulturverlag A. Hain.
Einführung in die Modelltheorie und ihre Anwendungen.Klaus Potthoff - 1983 - Journal of Symbolic Logic 48 (1):219-220.
Einführung in die Mathematische Logik. Klassische Prädikatenlogik.Erwin Engeler - 1973 - Journal of Symbolic Logic 38 (4):647-647.
Zahlen und Kontinuum. Eine Einfuhrung in die Infinitesimalmathematik.Detlef Laugwitz - 1988 - Journal of Symbolic Logic 53 (2):649-650.
Einführung in die Mathematische Logik. Teil I. Aussagenkalkül.G. Asser - 1960 - Journal of Symbolic Logic 25 (3):276-277.
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics ; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.

Analytics

Added to PP
2013-10-29

Downloads
46 (#474,008)

6 months
11 (#322,218)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references