Your search returned 186 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Set theory : with an introduction to real point sets [Recurso eletrónico] / by Abhijit Dasgupta Publicação: New York (NY) : Springer, 2014Descrição: XV, 444 p. : il.Formato digital
A matemática de alguns jogos / Luísa Amélia Fernandes de Faria Casanova Afonso ; sob orientação de Manuel António Gonçalves Martins e de Rui Filipe Alves Silva Duarte Publicação: Aveiro : L. Afonso, 2012Descrição: 1 CD-ROMDescrição: II, 76 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (2).
Demonstração matemática : uma experiência com alunos do 11º ano / Ana Catarina de Pinho Fernandes ; sob orientação de Maria Teresa Bixirão Neto Publicação: Aveiro : A. Fernandes, 2011Descrição: 1 CD-ROMDescrição: IV, 73, [8] p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (2).
Reading, writing, and proving : a closer look at mathematics / Ulrich Daepp, Pamela Gorkin Publicação: New York (NY) : Springer, cop. 2010Descrição: XVI, 395 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Lógica proposicional modal / Ana Cristina Felizardo Henriques ; sob orientação de Enrique German Hernández Manfredini e de Manuel António Gonçalves Martins Publicação: Aveiro : A. Henriques, 2009Descrição: 1 CD-ROMDescrição: 67 p. : ilFormato digitalExemplares interditos: Biblioteca da UA (2).
Logics of specification languages / eds. Dines Bjørner, Martin C. Henson Publicação: Berlin : Springer, cop. 2008Descrição: XXI, 623 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Mathematics education and the legacy of Zoltan Paul Dienes / ed. Bharath Sriraman Publicação: Charlotte (NC) : Information Age Publishing, cop. 2008Descrição: X, 111 p. : ilExemplares disponíveis para empréstimo: Mediateca da UA (1).
Temporal logic and state systems / Fred Kröger, Stephan Merz Publicação: Berlin : Springer, cop. 2008Descrição: XI, 433 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Abordagem algébrica à igualdade observacional / Alexandre Leite de Castro Madeira ; sob orientação de Manuel António Gonçalves Martins e Luís António Arsénio Descalço Publicação: Aveiro : A. Madeira, 2008Descrição: 1 CD-ROMDescrição: 165 p. : ilFormato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1). Exemplares interditos: Biblioteca da UA (2).
Institution-independent model theory / R?zvan Diaconescu Publicação: Basel : Birkhauser, cop. 2008Descrição: XI, 376 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Dependence logic : a new approach to independence friendly logic / Jouko Väänänen Publicação: Cambridge (MA) : Cambridge University Press, cop. 2007Descrição: IX, 225 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Theapplicative realm / Reinhard Kahle Publicação: Coimbra : UC. FCT, 2007Descrição: 175 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Elementos de matemática / Domingos M. Cardoso e Domenico A. Catalano Publicação: Aveiro : UA. DM, 2006Descrição: 43 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
A tour through mathematical logic / Robert S. Wolf Publicação: Washington (DC) : The Mathematical Association of America, cop. 2005Descrição: XV, 397 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Interpolation and definability : modal and intuitionistic logics / D. M. Gabbay and L. Maksimova Publicação: Oxford : Clarendon Press, 2005Descrição: XIV, 508 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
The nuts and bolts of proofs [Recurso eletrónico] / Antonella Cupillari Publicação: San Diego (CA) : Elsevier, cop. 2005Descrição: 192 pFormato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Interactive theorem proving and program development : coq'art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran Publicação: Berlin : Springer, 2004Descrição: XXV, 469 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Logic and structure / Dirk van Dalen Publicação: Berlin : Springer, 2004Descrição: X, 263 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Linear logic in computer science / ed. Thomas Ehrhard... [et al.] Publicação: Cambridge : Cambridge University Press, cop. 2004Descrição: X, 381 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Lectures in logic and set theory / George Tourlakis Publicação: Cambridge : University Press, 2003Descrição: 2 vol. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (2).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>