UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

UGent (1)

ULB (1)

Vlerick Business School (1)

VIVES (1)
More...

Resource type

book (1)

Language

English (1)

Year

From To

1955 (1)

Listing 1 - 1 of 1
Sort by

Book

Mathematical Interpretation of Formal Systems / ǂc edited by Th. Skolem [and others].
Authors: Skolem, Th. --- Hasenjaeger, G. --- Kreisel, G.
ISBN: 9780444533814 0444533818 9786613838704 0080957366 1283526255 Year: 1955 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
Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- EPUB-LIV-FT ELSEVIER-B --- Logic, Symbolic and mathematical. --- Metamathematics. --- Recursive functions. --- Set theory.

Listing 1 - 1 of 1
Sort by