From a logical point of view : 9 logico-philosophical essays / Willard Van Orman Quine
Book
Publication
Nova Iorque : Harper & Row, 1963
Description
VIII + 184 p.
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Os fundamentos da aritmética : uma investigação lógico-matemática acerca do conceito de número / Gottlob Frege ; tradução, prefácio e notas de António Zilhão
Book
Publication
Imprensa Nacional-Casa da Moeda : Lisboa, imp. 1992
Description
116, [5] p. ;
24 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Available (2).
Reference (1).
1
2
3
4
5
Los principios de la matemática / Bertrand Russel ; traducción del inglés por Juan Carlos Grimberg
Book
Publication
Madrid : Espasa-Calpe, 1967
Description
619 p. ;
24 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Reference (1).
1
2
3
4
5
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro
Book
Publication
Oxford : Claredon Press, 2001
Description
xxii, 277 p. ;
24 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Translations from the philosophical writings of Gottlob Frege / Gottlob Frege ; ed. Peter Geach e Max Black
Book
Publication
Oxford : Basil Blackwell, 1970
Description
X= X + 244 p.
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
A formulation of the simple theory of types / Alonzo church
Book
Publication
[S. l. : s. n.], 1940
Description
p. 56-68 ;
25 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Reference (1).
1
2
3
4
5
A lógica matemática e o ensino médio : com aplicação aos métodos da Matemática / José Sebastião e Silva
Book
Publication
Lisboa : Livraria Sá da Costa, 1941
Description
27 p. ;
18 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Reference (1).
1
2
3
4
5
The foundations of arithmetic : a logico-mathematical enquiry into the concept of number / Gottlob Frege ; translated by J. L. Austin
Book
Publication
New York : Harper & Brothers, 1960
Location Biblioteca Mário Sottomayor Cardia
Availability
Reference (1).
1
2
3
4
5
A mathematical introduction to logic / Herbert B. Enderton
Book
Publication
San Diego : Academic Press, cop. 1972
Description
xiii, 295 p. ;
24 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Formal languages in logic : a philosophical and cognitive analysis / Catarina Dutilh Novaes
Book
Publication
Cambridge : Cambridge University Press, 2014
Description
viii, 275 p. ;
23 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
A regra ómega : passado, presente e futuro / Edgar George Kenneth López-Escobar e Ítala Maria Loffredo D'Ottaviano
Book
Publication
Campinas : UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, 1987
Description
49 p
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
A study of logics / John P. Cleave
Book
Publication
Oxford : Claredon Press, 1991
Description
417 p. ;
24 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
A teoria dos conjuntos / Alain Bouvier ; tradução de André Infante
Book
Publication
Mem Martins : Europa-América, imp. 1976
Description
123 p. :
il. ;
18 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Available (1).
1
2
3
4
5
Modern logic : a text in elementary symbolic logic / Graeme Forbes
Book
Publication
Oxford : Oxford University Press, 1994
Description
xii, 397 p. :
il. ;
24 cm
Location Biblioteca Mário Sottomayor Cardia, Biblioteca Vitorino Magalhães Godinho
Availability
Available (3).
Reference (1).
1
2
3
4
5
Acordar para a lógica matemática / Manuel S. Lourenço
Book
Publication
Lisboa : Universidade de Lisboa. Centro de Filosofia, 2006
Description
190 p. :
il. ;
24 cm
Location Biblioteca Mário Sottomayor Cardia, Biblioteca Vitorino Magalhães Godinho
Availability
Available (2).
1
2
3
4
5
Acordar para a lógica matemática / Manuel S. Lourenço
Book
Publication
Lisboa : Centro de Filosofia da Universidade de Lisboa, 2006
Description
190 p.
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman
Book
Publication
Cambridge : Cambridge University Press, 2004
Description
vi, 425 p. :
il. ;
24 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews
Book
Publication
Dordrecht : Kluwer Academic Publishers, cop. 2002
Description
xviii, 390 p. ;
25 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
An introduction to non-classical logic / Graham Priest
Book
Publication
Cambridge : Cambridge University Press, 2001
Description
xxi, 242 p. :
il. ;
23 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Logical forms : an introduction to philosophical logic / Marc Sainsbury
Book
Publication
Malden : Blackwell, 2001
Description
vii, 424 p. ;
23 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5