UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

ULB (2)

KU Leuven (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UAntwerpen (1)

UCLL (1)

UGent (1)

ULiège (1)
More...

Resource type

book (3)

digital (1)

Language

English (2)

German (2)

Year

From To

1968 (2)

1960 (2)

Listing 1 - 4 of 4
Sort by

Book

Beweistheorie
Author: Schütte, K.
Year: 1960 Publisher: Berlin [etc.] : Springer-Verlag,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Beweistheorie
Author: Schütte, K.
Year: 1960 Publisher: Berlin : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Proof theory --- Théorie de la preuve

Digital

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966
Authors: Schmidt, H. Arnold --- Schütte, K.
ISBN: 9780444534149 0444534148 Year: 1968 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
Mathematical logic

Book

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966
Authors: Schmidt, H. Arnold. --- Schütte, K. --- Thiele, H. J. --- Logic Colloquium
ISBN: 1283526476 9786613838926 0080957692 0444534148 Year: 1968 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 -- Periodicals. --- Logic, Symbolic and mathematical. --- Logic, Symbolic and mathematical

Listing 1 - 4 of 4
Sort by