Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 13 results. Subscribe to this search

|
Toposes and local set theories : an introduction / J. L. Bell Monografia Publication Oxford : Clarendon Press, 1988 Description XII, 267 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Gödel's incompleteness theorems / Raymond M. Smullyan Monografia Publication New York : Oxford University Press, 1992 Description XIII, 139 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Elements of intuitionism / Michael Dummett Monografia Publication Oxford : Clarendon Press, 2000 Description XII, 331 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Labelled deductive systems / Dov M. Gabbay Monografia Publication Oxford : Clarendon Press, 1996 Description --v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, Mark Reynolds Monografia Publication Oxford : Clarendon Press, 1994-19-- Description -- v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Category theory / Steve Awodey Monografia Publication Oxford : Clarendon Press, 2006 Description XI, 256 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Modal logic / Alexander Chagrov, Michael Zakharyaschev Monografia Publication Oxford : Clarendon Press, 1997 Description XV, 605 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1).

Place hold Add to cart
Twenty-five years of constructive type theory : proceedings / Congress... ; ed. Giovanni Sambin, Jan M. Smith Monografia Publication Oxford : Clarendon Press, 1998 Description VII, 283 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym, Eike Ritter Monografia Publication Oxford : Clarendon Press, 2004 Description XV, 208 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1).

Place hold Add to cart
No cover image available
Temporal logic : mathematical foundations and computational aspects / Dov M. Gabbay, Ian Hodkinson, Mark Reynolds Monografia Publication Oxford : Clarendon Press, 1994-19-- Description v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Diagonalization and self-reference / Raymond M. Smullyan Monografia Publication Oxford : Clarendon Press, imp. 1996 Description XV, 396 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
A study of logics / John P. Cleave Monografia Publication Oxford : Clarendon Press, [1992] Description XIII, 417 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Elementary categories, elementary toposes / Colin McLarty Monografia Publication Oxford : Clarendon Press, imp. 1995 Description XIII, 265 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). Lost (1).

Place hold Add to cart