A sua pesquisa retornou 21 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
|
Theapplicative realm / Reinhard Kahle Publicação: Coimbra : UC. FCT, 2007Descrição: 175 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Classes of computational complexity : astudy in mathematical logic : implicit characterizations [Texto policopiado] / Isabel Maria Oitavem Fonseca da Rocha Publicação: Lisboa : I. Oitavem, 2001Descrição: X, 93 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
To mock a mockingbird : and other logic puzzles including an amazing adventure in combinatory logic / Raymond Smullyan Publicação: Oxford : Oxford University Press, 2000Descrição: X, 246 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Introduction to mathematical structures and proofs / Larry J. Gerstein Publicação: New York (NY) : Springer, cop. 1996Descrição: X, 350 p : ilExemplares disponíveis para empréstimo: Biblioteca da UA (3).
Lógica e aritmética : uma introdução informal aos métodos formais / Augusto J. Franco de Oliveira Publicação: Lisboa : Gradiva, 1996Descrição: XI, 277 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1), Mediateca da UA (1).
Programação em lógica e demonstração automática de teoremas [Texto policopiado] / Domingos Moreira Cardoso Publicação: Aveiro : UA. DM, 1995Descrição: 62 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Mathematical logic and computability / Paul Corazza ... [et al.] Publicação: [S.l : s.n.], 1994Descrição: VII, 485 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Matrizes laplacianas de grafos [Texto policopiado] / Maria Isabel Varejão de Oliveira Faria ; sob orientação de Perdigão Dias da Silva Publicação: Lisboa : M. Faria, 1993Descrição: II, 96 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Georg Cantor : his mathematics and philosophy of the infinite / Joseph Warren Dauben Publicação: Princeton (NJ) : University, 1990Descrição: IX, 404 p. : il., est.Exemplares disponíveis para empréstimo: Biblioteca da UA (2).
Lógica matemática / Y. Ershov, E. Paliutin Publicação: Moscú : Editorial Mir Moscú, 1990Descrição: 276 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (2).
Curso de análise matemática / J. Santos Guerreiro Publicação: Lisboa : Escolar Editora, 1989Descrição: 431 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
A formalization of set theory without variables / Alfred Tarski, Steven Givant Publicação: Providence (RI) : American Mathematical Society, 1988Descrição: XXI, 318 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Ensembles, structures catégories, faisceaux Publicação: Québec : Université Laval, 1977Descrição: XII, 315 pExemplares disponíveis para empréstimo: Biblioteca da UA (2).
Primer curso de lógica matemática Publicação: Barcelona : Reverté, 1976Descrição: IX, 283 pExemplares disponíveis para empréstimo: Biblioteca da UA (3).
Proceedings of the 1975 International Symposium on Multiple-Valued Logic Publicação: Long Beach : IEEE Computer Society Press, 1975Descrição: 475 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Lógica Publicação: México : McGraw-Hill, 1974Descrição: 2 volExemplares disponíveis para empréstimo: Biblioteca da UA (1), Biblioteca Domingos Cravo (ISCA-UA) (2).
Introduction à la logique / Alfred Tarski Publicação: Paris : Gauthier-Villars, 1971Descrição: XIV, 246 pExemplares disponíveis para empréstimo: Biblioteca da UA (2).
L'approche mathématique au cours préparatoire / Paule Lanne, Robert Leboulleux Publicação: Paris : Armand Colin, 1971Descrição: 159 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Introduction to logic and sets / Robert R. Christian Publicação: Lexington (MA) : Xerox College, 1965Descrição: XII, 116 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities Publicação: New York (NY) : Dover, 1958Descrição: 424 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (2).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>