Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews Monografia Publication Dordrecht : Kluwer Academic Publishers, cop. 2002 Description XVIII, 390 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews Monografia Publication Orlando : Academic Press, 1986 Description XV, 304 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart