Your search returned 185 results. Subscribe to this search

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

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).

Werkausgabe in 8 bänden / Ludwig Wittgenstein Book Publication Frankfurt am Main : Suhrkamp, 1984
Description 8 Vol. ; 18 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (12).

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).

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

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

A lógica moderna / Jean Chauvineau Book Publication Lisboa : Europa-América, cop. 1957
Description 127 p. ; 21 cm LocationBiblioteca Mário Sottomayor Cardia Availability Available (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).

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

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