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)

UAntwerpen (1)

UCLL (1)

UGent (1)

ULB (1)

Vlerick Business School (1)
More...

Resource type

book (1)

digital (1)

Language

English (2)

Year

From To

1968 (2)

Listing 1 - 2 of 2
Sort by

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 - 2 of 2
Sort by