UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

UGent (2)

ULB (2)

KU Leuven (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UAntwerpen (1)

UCLL (1)

Vlerick Business School (1)
More...

Resource type

book (3)

digital (1)

Language

English (3)

Year

From To

1952 (3)

Listing 1 - 3 of 3
Sort by

Book

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Go ̈del
Author: Mostowski, Abdrzej.
ISBN: 1283526212 9786613838667 0080957307 0444533753 Year: 1952 Publisher: Burlington : Elsevier Science,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
Provability, Computability and Reflection

Keywords
Godel’s theorem. --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Semantics (Philosophy). --- Logic.

Book

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author: Mostowski, Andrzej
Year: 1952 Publisher: Amsterdam : North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Gödel's theorem. --- Logic, Symbolic and mathematical. --- Semantics (Philosophy). --- Social Sciences and Humanities. Philosophy --- Systematics of Philosophy --- Logic.

Multi

Sentences undecidable in formalized arithmetic
Author: Mostowski, Andrzej
ISBN: 9780444533753 0444533753 Year: 1952 Volume: 10 Publisher: Dordrecht Elsevier Science

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- Philosophy of language --- Logic, Symbolic and mathematical --- Semantics (Philosophy) --- Gödel's theorem --- Logique symbolique et mathématique --- Sémantique (Philosophie) --- Gödel, Théorème de --- EPUB-LIV-FT ELSEVIER-B

Listing 1 - 3 of 3
Sort by