Logique, sémantique, métamathématique : 1923-1944 / Alfred Tarski
Book
Publication
Paris : Armand Colin, 1972-1974
Description
2 vol. (276, 314 p.) :
il. ;
24 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Available (2).
Reference (2).
1
2
3
4
5
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
Werkausgabe in 8 bänden / Ludwig Wittgenstein
Book
Publication
Frankfurt am Main : Suhrkamp, 1984
Description
8 Vol. ;
18 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (12).
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
From Frege to Godel : a source book in mathematical logic : 1879-1931 / Jean van Heijenoort
Book
Publication
Cambridge : Harvard University Press, 1981
Description
664 p. ;
25 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Available (1).
1
2
3
4
5
Kinetic logic : a Boolean approach to the analysis of complex regulatory systems : proceedings / ed. lit. René Thomas
Book
Publication
Berlin : Springer, 1979
Description
13, 507 p. ;
24 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Available (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
A lógica moderna / Jean Chauvineau
Book
Publication
Lisboa : Europa-América, cop. 1957
Description
127 p. ;
21 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Available (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
Mathematical jurisprudence and mathematical ethics : a mathematical simulation of the evaluative and the normative attitudes to the rigoristic sub-systems of the Positive Law and of the Natural-Law-and-Morals / V. O. Lobovikov
Book
Publication
Ekaterinburg : The Urals State University Press ; The Urals State Law Academic Press ; The Liberal Arts University Press, 1999
Description
122 p. ;
21 cm
Location Biblioteca Mário Sottomayor Cardia
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
The theory of indistinguishables : a search for explanatory prunciples below the level of physics / A. F. Parker-Rhodes
Book
Publication
London : D. Reidel, cop. 1981
Description
14, 216 p. ;
23 cm
Location Biblioteca Mário Sottomayor Cardia
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