Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 15 results. Subscribe to this search

|
What is a logical system? / ed. D. M. Gabbay Monografia Publication Oxford : Clarendon Press, 1994 Description X, 454 p. : il. ; 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
Handbook of the logic of argument and inference : the turn towards the practical / ed. Dov M. Gabbay... [et al.] Monografia Publication Amsterdam : Elsevier, 2002 Description X, 498 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Journal of logic and computation / editor-in-chief D. M. Gabbay Publicação periódica Publication Oxford : Oxford University Press, [19--]- Description ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (25).

Add to cart
No cover image available
Logic journal of the IGPL / editor-in-chief Dov M. Gabbay Publicação periódica Publication Oxford : Oxford University Press, [1993]- Description ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (6).

Add to cart
Handbook of philosophical logic / ed. D. Gabby, F. Guenthner Monografia Publication Dordrecht : Kluwer Academic Publishers, cop. 1994 Description 4 v. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (6). Checked out (2).

Place hold Add to cart
No cover image available
Mathematical problems from applied logic / ed. by Dov M. Gabbay, Sergi S. Goncharov, Michael Zakharyaschev. Monografia Publication New York : Springer, cop. 2006-20-- 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
Logic Colloquium'92 / ed. László Csirmaz, Dov M. Gabbay, Maarten de Rijke Monografia Publication Stanford : Center for the Study of Language and Information, cop. 1995 Description XIII, 319 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Proof theory for fuzzy logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay Monografia Publication [Dordrecht] : Springer, cop. 2009 Description VIII, 276 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum Monografia Publication Oxford : Clarendon Press, 1992-19-- Description -- v. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (9). Checked out (2).

Place hold Add to cart
A lambda calculus satellite / Henk Barendregt, Giulio Manzonetto Monografia Publication [S.l.] : College Publications, cop. 2022 Description XVI, 582 p. : il. ; 27 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
Handbook of quantum logic and quantum structures : quantum logic / edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann Monografia Publication Amsterdam : Elsevier, 2009 Description X, 715 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Handbook of logic in artificial intelligence and logic programming / ed. Dov M. Gabbay, C. J. Hogger, J. A. Robinson Monografia Publication Oxford : Clarendon Press, 1993-19-- Description v. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (8).

Place hold Add to cart