UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (15)

UCLouvain (4)

UGent (3)

UAntwerpen (2)

ULiège (2)

EHC (1)

UNamur (1)

Resource type

book (14)

dissertation (8)

Language

English (12)

German (9)

Undetermined (1)

Year

From To

2020 (1)

2019 (6)

2017 (1)

1977 (1)

1968 (7)
More...

Listing 1 - 10 of 22 << page
of 3
>>
Sort by

Book

Vollständige Systeme modaler und intuitionistischer Logik
Author: Schütte, Kurt
Year: 1968 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

Book

BEWEISTHEORIE
Author: Schütte, Kurt
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
Predicate Logic --- Propositional Logic

Book

VOLLSTAENDIGE SYSTEME MODALER UND INTUITIONISTISCHER LOGIK
Author: Schütte, Kurt
Year: 1968 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
Propositional Logic

Book

Vollständige Systeme modaler und intuitionistischer Logik.
Author: Schütte, Kurt
Year: 1968 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
Logic, Symbolic and mathematical.

Book

Beweistheorie
Author: Schütte, Kurt
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.

Book

Vollständige Systeme modaler und intuitionistischer Logik
Author: Schütte, Kurt
Year: 1968 Publisher: Berlin

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

Beweistheorie.
Author: Schütte, Kurt.
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

Book

Lectures notes in mathematical logic
Author: Schütte, Kurt.
Year: 1963 Publisher: Philadelphia (Pa.): Pennsylvania State university press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Vollständige Systeme modaler und intuitionistischer Logik
Author: Schütte, Kurt.
Year: 1968 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

Book

Lecture notes on metamathematics
Author: Schütte, Kurt.
Year: 1962 Publisher: Philadelphia (Pa.): Pennsylvania State university press

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 22 << page
of 3
>>
Sort by