Your search returned 96 results. Subscribe to this search

|
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. LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

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 LocationBiblioteca Mário Sottomayor Cardia Availability Available (2). Reference (1).

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 LocationBiblioteca Mário Sottomayor Cardia Availability Reference (1).

Foundations without foundationalism : a case for second-order logic / Stewart Shapiro Book Publication Oxford : Claredon Press, 2001
Description xxii, 277 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

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. LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

A formulation of the simple theory of types / Alonzo church Book Publication [S. l. : s. n.], 1940
Description p. 56-68 ; 25 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Reference (1).

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 LocationBiblioteca Vitorino Magalhães Godinho Availability Reference (1).

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
LocationBiblioteca Mário Sottomayor Cardia Availability Reference (1).

A mathematical introduction to logic / Herbert B. Enderton Book Publication San Diego : Academic Press, cop. 1972
Description xiii, 295 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

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 LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

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 LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

A study of logics / John P. Cleave Book Publication Oxford : Claredon Press, 1991
Description 417 p. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

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 LocationBiblioteca Mário Sottomayor Cardia Availability Available (1).

Modern logic : a text in elementary symbolic logic / Graeme Forbes Book Publication Oxford : Oxford University Press, 1994
Description xii, 397 p. : il. ; 24 cm LocationBiblioteca Mário Sottomayor Cardia, Biblioteca Vitorino Magalhães Godinho Availability Available (3). Reference (1).

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 LocationBiblioteca Mário Sottomayor Cardia, Biblioteca Vitorino Magalhães Godinho Availability Available (2).

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. LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman Book Publication Cambridge : Cambridge University Press, 2004
Description vi, 425 p. : il. ; 24 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

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 LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

An introduction to non-classical logic / Graham Priest Book Publication Cambridge : Cambridge University Press, 2001
Description xxi, 242 p. : il. ; 23 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Logical forms : an introduction to philosophical logic / Marc Sainsbury Book Publication Malden : Blackwell, 2001
Description vii, 424 p. ; 23 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).