Narrow your search

Library

UAntwerpen (2)

UCLouvain (2)

UHasselt (2)

ULiège (2)

IMEC (1)

KU Leuven (1)

National Bank of Belgium (1)

UGent (1)

UNamur (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

1995 (1)

1986 (1)

Listing 1 - 2 of 2
Sort by
Introduction to higher order categorical logic
Authors: ---
ISBN: 0521246652 9780521246651 Year: 1986 Volume: 7 Publisher: Cambridge : Cambridge University Press,

Listing 1 - 2 of 2
Sort by