UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBR (3)

KU Leuven (2)

UAntwerpen (2)

UMons (2)

UGent (1)

UHasselt (1)

Resource type

book (10)

Language

English (6)

French (3)

German (1)

Year

From To

1974 (1)

1972 (1)

1967 (4)

1966 (1)

1955 (3)

Listing 1 - 10 of 10
Sort by

Book

Formally self-referential propositions for cut free classical analysis and related systems
Authors: Kreisel, G. --- Takeuti, G.
Year: 1974 Publisher: Warszawa

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

Modelltheorie: eine Einführung in die mathematische Logik und Grundlagentheorie
Authors: Kreisel, G. --- Krivine, J. -L.
ISBN: 3540056548 Year: 1972 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
Mathematical logic --- Model theory.

Book

Eléments de logique mathématique : théorie des modèles
Authors: Kreisel, G. --- Krivine, J.L.
Year: 1966 Publisher: Paris Dunod

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Éléments de logique mathématique : théorie des modèles
Authors: Kreisel, G. --- Krivine, J.L.
Year: 1967 Publisher: Paris Dunod

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

Elements of mathematical logic (model theory).
Authors: Kreisel, G. --- Krivine, Jean-Louis
Year: 1967 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

Book

Elements of mathematical logic : model theory
Authors: Kreisel, G. --- Krivine, J.L.
Year: 1967 Publisher: Amsterdam North-Holland Publishing Campany

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Eléments de logique mathématique : théorie des modèles
Authors: Kreisel, G. --- Krivine, J.L.
Year: 1967 Publisher: Paris Dunod

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Mathematical interpretation of formal systems
Authors: Skolem, Th. --- Hasenjaeger, G. --- Kreisel, G.
Year: 1955 Publisher: Amsterdam North-Holland publishing company

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Mathematical interpretation of formal systems.
Authors: Skolem, Thoralf --- Hasenjaeger, G. --- Kreisel, G. --- Robinson, Abraham --- Wang, Hao. --- et al.
Year: 1955 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

Book

Mathematical interpretation of formal systems
Authors: Skolem, Th --- Hasenjaeger, G. --- Kreisel, G. --- Robinson, A. --- Wang, Hao --- et al.
Year: 1955 Publisher: Amsterdam North-Holland Publishing Co.

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Listing 1 - 10 of 10
Sort by