Narrow your search

Library

IMEC (1)

KU Leuven (1)

UAntwerpen (1)

UCLouvain (1)

UGent (1)

UHasselt (1)

ULiège (1)


Resource type

book (1)


Language

English (1)


Year
From To Submit

1986 (1)

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

Listing 1 - 1 of 1
Sort by