Your search returned 272 results. Subscribe to this search

|
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).