Skip to contents Franzén, Torkel [Author] Gödel's theorem : an incomplete guide to its use and abuse Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wellesley, Mass.: Peters, 2005 Franzén, Torkel Logical Approaches to Computational Barriers: What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Logical Approaches to Computational Barriers (2006), Seite 198-198 Franzén, Torkel Transfinite Progressions: A Second Look at Completeness Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2004 Published in: Bulletin of Symbolic Logic, 10 (2004) 3, Seite 367-389 Franzén, Torkel Transfinite Progressions: A Second Look at Completeness Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2004 Published in: The Bulletin of Symbolic Logic, 10 (2004) 3, Seite 367-389 SAHLIN, AN; FRANZÉN, TORKEL; HARIDI, SEIF An Intuitionistic Predicate Logic Theorem Prover Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1992 Published in: Journal of Logic and Computation, 2 (1992) 5, Seite 619-656
Franzén, Torkel [Author] Gödel's theorem : an incomplete guide to its use and abuse Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wellesley, Mass.: Peters, 2005
Franzén, Torkel Logical Approaches to Computational Barriers: What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Logical Approaches to Computational Barriers (2006), Seite 198-198
Franzén, Torkel Transfinite Progressions: A Second Look at Completeness Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2004 Published in: Bulletin of Symbolic Logic, 10 (2004) 3, Seite 367-389
Franzén, Torkel Transfinite Progressions: A Second Look at Completeness Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Symbolic Logic, 2004 Published in: The Bulletin of Symbolic Logic, 10 (2004) 3, Seite 367-389
SAHLIN, AN; FRANZÉN, TORKEL; HARIDI, SEIF An Intuitionistic Predicate Logic Theorem Prover Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford University Press (OUP), 1992 Published in: Journal of Logic and Computation, 2 (1992) 5, Seite 619-656
> Media type Skip to next facet Articles (4) Wert ausschließen Books (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (2) Wert ausschließen Show more show less
> Language Skip to next facet English (4) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (2) Wert ausschließen Computer science (1) Wert ausschließen Art and art history (1) Wert ausschließen Philosophy (1) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Franzén, Torkel (4) Wert ausschließen FRANZÉN, TORKEL (1) Wert ausschließen HARIDI, SEIF (1) Wert ausschließen SAHLIN, AN (1) Wert ausschließen Show more show less
> Collection Skip to next facet Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences II Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen Show more show less