A sua pesquisa retornou 204 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
Não realçar Realçar
|
Computability and logic / George S. Boolos, Richard C. Jeffrey Publicação: Cambridge : University Press, 1989Descrição: X, 304 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Algebraizable logics / W. J. Blok and Don Pigozzi Publicação: Providence (RI) : American Mathematical Society, 1989Descrição: V, 78 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
An introduction to Hilbert space and quantum logic / David W. Cohen Publicação: New York : Springer, 1989Descrição: XII, 149 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logique sans peine / Lewis Carrol ; illustrations de Max Ernst Publicação: Paris : Hermann, 1988Descrição: 289 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic for mathematicians / A. G. Hamilton Publicação: Cambridge : University Press, 1988Descrição: 228 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Matrix logic / August Stern Publicação: Amsterdam : North-Holland, 1988Descrição: VIII, 215 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Toposes and local set theories : an introduction / J. L. Bell Publicação: Oxford : Clarendon Press, 1988Descrição: XII, 267 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Varieties of constructive mathematics / Douglas Bridges, Fred Richman Publicação: Cambridge : University Press, 1988 reprDescrição: X, 149 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
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).
Reservar Adicionar ao carrinho
Theory of logical caculi [] / Ryszard Wójcicki Publicação: Dordrecht : Kluwer Academic Publishers, cop. 1988Descrição: XVIII, 473 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Lógica matemática / José Ferrater Mora y Hugues Leblanc Publicação: México : Fondo de Cultura Económica, 1987 reimpressãoDescrição: 227 p. : il.Exemplares disponíveis para empréstimo: Mediateca da UA (1).
Reservar Adicionar ao carrinho
The liar : an essay on truth and cicularity / Jon Barwise and John Etchemendy Publicação: New York : Oxford University Press, cop. 1987Descrição: XII, 194 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Poincaré, Russel, Zermelo et Peano : des antinomies à la prédicativité : textes de la discussion (1906-1912) sur les fondements des mathématiques / reúnis par Gerhard Heizmann Publicação: Paris : A. Blanchard, 1986Descrição: 332 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Mathematical logic and programming languages / edited by C. A. R. Hoare and J. C. Shepherdson Publicação: Englewood Cliffs : Prentice Hall International, 1985Descrição: 184 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Mathematical logic and formal systems / edited by Luiz Paulo de Alcantara Publicação: New York : Marcel Dekker, 1985Descrição: XIV, 297 p. : il., estExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Model-theoretic logics / edited by J. Barwise and S. Feferman Publicação: New York : Springer, 1985Descrição: XVIII, 893 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Philosophy of mathematics : selected readings / edited by Paul Benacerraf and Hilary Putnam Publicação: Cambridge : University, 1983Descrição: VIII, 600 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Lógica, linguagem e argumentação / Michel Meyer ; trad. Maria Lúcia Novais Publicação: Lisboa : Teorema, 1992Descrição: 151 pExemplares emprestados: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
The theory of indistinguishables : a search for explanatory principles below the level of physics / A. F. Parker-Rhodes Publicação: Dordrecht : D. Reidel, cop. 1981Descrição: XIV, 216 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Sem imagem de capa disponível
Actes / VII Jornadas Matemàticas Hispano-Lusitanes Publicação: Barcelona : Universitat Autonoma, 1980Descrição: 2 volExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>