Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 5 results. Subscribe to this search

|
Axiomatising the logic of computer programming / Robert Goldblatt Monografia Publication Berlin : Springer-Verlag, 1982 Description XI, 304 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Logics of time and computation / Robert Goldblatt Monografia Publication Menlo Park : CSLI, cop. 1992 Description IX, 180 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Topoi : the categorial analysis of logic / Robert Goldblatt Monografia Publication Amsterdam : North-Holland, imp. 1991 Description XVI, 551 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Mathematics of modality / Robert Goldblatt Monografia Publication Stanford : CSLI Publications, cop. 1993 Description V, 273 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt Monografia Publication New York : Springer, cop. 1998 Description XIV, 289 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart