UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (1)

UCLouvain (1)

UGent (1)

ULB (1)

VUB (1)

Resource type

book (2)

Language

English (2)

Year

From To

1981 (1)

1968 (1)

Listing 1 - 2 of 2
Sort by

Semantical investigations in Heyting's intuitionistic logic
Author: Gabbay, Dov M.
ISBN: 9027712026 9048183626 9401729778 9789027712028 Year: 1981 Volume: 148 Publisher: Dordrecht Reidel

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Intuitionistic mathematics --- Heyting, A --- Constructive mathematics --- Mathematics --- Heyting, A. --- Intuitionistic mathematics. --- Heyting, Arend, --- Heyting, A - (Arend), - 1898 --- -Intuitionistic mathematics --- -Intuitionistic mathematics.

Book

Logic and foundations of mathematics
Author: Heyting, A.
Year: 1968 Publisher: Groningen : Wolters-Noordhoff,

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 --- Logique symbolique et mathématique --- Heyting, A.

Listing 1 - 2 of 2
Sort by