Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Lambda-calculus, types and models / J. L. Krivine ; trad. René Cori Monografia Publication Hemel Hampstead : Ellis Horwood, cop. 1993 Description VIII, 180 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Eléments de logique mathématique : théorie des modèles / G. Kreisel, J. L. Krivine Monografia Publication Paris : Dunod, 1967 Description VIII, 212 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart