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
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
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
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
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
Prototractatus : an early version of Tractatus logico-philosophicus / by Ludwig Wittgenstein ; translated by G. E. M. Anscombe ; edited by B. F. McGuiness, T. Nyberg, G. H. von Wright ; with a translation by D. F. Pears, B. F. McGuiness ; an historical introduction by G. H. von Wright and a facsimile of the author's manuscript
Book
Publication
London : Routledge, imp. 1998
Description
xii, 256 p. ;
25 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability / by Hans Reichenbach ; english translation by Ernest H. Hutten and Maria Reichenbach
Book
Publication
Berkeley : University of California Press, 1949
Description
XVI, 492 p. ;
24 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Reference (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
Logical forms : an introduction to philosophical logic / Marc Sainsbury
Book
Publication
Oxford : Blackwell, imp. 1997
Description
vii, 398 p. ;
23 cm
Location Biblioteca Mário Sottomayor Cardia, Biblioteca Vitorino Magalhães Godinho
Availability
Available (2).
Reference (1).
1
2
3
4
5
Logic with trees : an introduction to symbolic logic / Colin Howson
Book
Publication
London : Routledge, 1997
Description
xiii, 197 p. ;
23 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Antología semántica / compilada por Mario Bunge ; traducción de Emilio O. Colombo, e outros
Book
Publication
Buenos Aires : Ediciones Nueva Visión, imp. 1960
Description
271, [3] p. ;
20 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Reference (1).
1
2
3
4
5
Cartas de Edmundo Curvelo a Joaquim de Carvalho (1947-1953) e outros inéditos / introdução e edição por Augusto J. Franco de Oliveira
Book
Publication
Lisboa : Centro de Filosofia das Ciências, Universidade de Lisboa, 2005
Description
198 p. :
il. ;
21 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Available (1).
1
2
3
4
5
Collected works / Kurt Gödel ; edited by Solomon Feferman... [et al.]
Book
Publication
New York : Oxford University Press, 1986-2003
Description
5 Vol. :
il. ;
24 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (5).
1
2
3
4
5
Critical approaches to science & philosophy : with a new introduction / Mario Bunge, editor
Book
Publication
New Brunswick : Transaction Publishers, cop. 1999
Description
xvii, 480 p. ;
23 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Deduction : introductory symbolic logic / Daniel Bonevac
Book
Publication
Malden : Blackwell, 2003
Description
ix, 514 p. :
il. ;
23 cm
Location Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
1
2
3
4
5
Introduction to symbolic logic and its applications / by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson
Book
Publication
New York : Dover Publications, cop. 1958
Description
xiv, 241 p. :
il. ;
21 cm
Location Biblioteca Mário Sottomayor Cardia, Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
Reference (1).
1
2
3
4
5
Elementary logic / Willard Van Orman Quine
Book
Publication
Cambridge : Harvard University Press, imp. 1995
Description
xii, 129 p :
il. ;
21 cm
Location Biblioteca Mário Sottomayor Cardia, Biblioteca Vitorino Magalhães Godinho
Availability
Available (1).
Reference (1).
1
2
3
4
5
Elements of symbolic logic / by Hans Reichenbach
Book
Publication
New York : The Macmillan Company, imp. 1960
Description
XIII, 444 p. :
il. ;
22 cm
Location Biblioteca Mário Sottomayor Cardia
Availability
Reference (1).
1
2
3
4
5