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 Submit

1981 (1)

1968 (1)

Listing 1 - 2 of 2
Sort by
Semantical investigations in Heyting's intuitionistic logic
Author:
ISBN: 9027712026 9048183626 9401729778 9789027712028 Year: 1981 Volume: 148 Publisher: Dordrecht Reidel


Book
Logic and foundations of mathematics
Author:
Year: 1968 Publisher: Groningen : Wolters-Noordhoff,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 2 of 2
Sort by