|
|
La logique moderne / Jean Chauvineau
Monografia
Publication
Paris : Presses Universitaires de France, 1974
Description
128 p. :
il. ;
18 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Computability, complexity, logic / E. Bõrger
Monografia
Publication
Amsterdam : North Holland, 1989
Description
XX, 592 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Lógica moderna / Jean-Blaise Grize ; trad. Francisco Sardo
Monografia
Publication
Porto : Livraria Civilização, 1984-1985
Description
3 v. ;
22 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (6).
|
|
|
Primer curso de lógica matemática / Patrick Suppes, Shirley Hill
Monografia
Publication
Barcelona : Editorial Reverté, cop. 1978
Description
IX, 283 p. :
il. ;
22 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Introduction to elementary mathematical logic / Abram Aronovich Stolyar
Monografia
Publication
New York : Dover, 1983
Description
VII, 209 p. ;
22 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Models, algebras, and proofs : selected papers / X Latin American Symposium on Mathematical Logic ; ed. Xavier Caicedo, Carlos H. Montenegro
Monografia
Publication
New York : Marcel Dekker, cop. 1999
Description
XIII, 448 p. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Intermediate logic / David Bostock
Monografia
Publication
Oxford : Clarendon Press, 1997
Description
IX, 393 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (4).
|
|
|
Non-standard analysis / Abraham Robinson
Monografia
Publication
Princeton : Princeton University Press, cop. 1996
Description
XIX, 293 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Model theory / Wilfrid Hodges
Monografia
Publication
Cambridge : Cambridge University Press, imp. 1995
Description
XIII, 772 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
O sistema lógico I / Maria de Fátima Coutinho Pires
Monografia
Publication
Braga : M.F.C.P., 1996
Description
III, 120 f. :
il. ;
30 cm
LocationBiblioteca de Reservados, Biblioteca Geral da Universidade do Minho
Availability
Available (3).
|
|
|
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / Johan van Benthem
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, 1991
Description
XXII, 280 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Relation algebras by games / Robin Hirsch, Ian Hodkinson
Monografia
Publication
Amsterdam : Elsevier, 2002
Description
XVII, 691 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Classical recursion theory / P. G. Odifreddi
Monografia
Publication
Amsterdam : North-Holland, 1999-19--
Description
--v ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Shelah, Saharon. ; Proper and improper forcing / Saharon Shela
Monografia
Publication
Berlin : Springer, cop. 1998
Description
XL, 1020 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi
Monografia
Publication
Amsterdam : North-Holland, imp. 1992
Description
XVII, 668 p. :
il. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Logic and information / Keith Devlin
Monografia
Publication
Cambridge : University Press, cop. 1991
Description
XII, 307 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Mathematical logic / [A. M. Turing] ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman... [et al.]
Monografia
Publication
Amsterdam : Elsevier, 2001
Description
XII, 293 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Meaning and argument : an introduction to logic through language / Ernest Lepore
Monografia
Publication
Malden, Mass. : Blackwell Publishers, cop. 2000
Description
XVI, 418 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Fuzzy sets, logics and reasoning about knowledge / ed. Didier Dubois, Henri Prade, Erich Peter Klement
Monografia
Publication
Dordrecht : Kluwer Academic Publishers, cop. 1999
Description
VII, 423 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Logic primer / Colin Allen and Michael Hand
Monografia
Publication
Cambridge, Mass. : MIT Press, cop. 1992
Description
XIV, 171 p. ;
23 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|