Banner
Biblioteca Municipal de Sintra (base geral)
Registos: 1 - 6 de um total de 6
O meu comentário Facebook Twitter LinkedIN
Título: Os elementos do programa de Hilbert
Autor(es): M. S. Lourenço
Publicação: Lisboa : Centro de Filosofia da Faculdade de Letras de Lisboa, 2004
Descrição física: 318 p. 24 cm
Colecção: (Philosophica Elementa ; 1)
ISBN/ISSN: ISBN 972-8531-21-4
Assuntos: Hilbert, David, 1862-1943--Matemática | Matemática--Filosofia | Programa de Hilbert | Lógica matemática
CDU: 164
Veja também: Lourenço, Manuel Santos, 1936-
Localização: 164 LOU (BMS) - 39134 S. - Oferta do autor

O meu comentário Facebook Twitter LinkedIN
Título: O projecto cultural de Manuel de Azevedo Fortes : um caso de recepção do cartesianismo na ilustração portuguesa
Autor(es): Luís Manuel A. V. Bernardo ; pref. de António Braz Teixeira
Publicação: Lisboa : Imprensa Nacional-Casa da Moeda, 2005
Descrição física: 247, [5] p. ; 24 cm
Colecção: (Temas portugueses)
ISBN/ISSN: ISBN 972-27-1210-1
Assuntos: Fortes, Manuel de Azevedo, 1660-1749--Lógica racional, geométrica e analítica [Crítica] | Filosofia portuguesa--Séc. 18 | Iluminismo--Portugal | Cartesianismo--Portugal | Lógica--Filosofia
CDU: 1Fortes,ManueldeAzevedo | 164
Veja também: Bernardo, Luís Manuel Aires Ventura, 1963- | Teixeira, António Braz
Localização: 1 FOR (BMS) - 63736 S

O meu comentário Facebook Twitter LinkedIN
Título: A lógica moderna
Autor(es): Jean Chauvineau ; trad. André Infante
Publicação: Mem Martins : Europa-América, cop. 1957
Descrição física: 127, [1] p. ; 23 cm
Colecção: (Biblioteca Universitária ; 17)
Notas: Tit. orig.: La logique moderne
Assuntos: Lógica | Lógica proposicional | Lógica funcional | Lógica matemática
CDU: 164
Veja também: Chauvineau, Jean | Infante, André
Localização: 164 CHA (BMS-PC) - 2276 AC

O meu comentário Facebook Twitter LinkedIN
Título: A lógica moderna
Autor(es): Jean Chauvineau ; trad. André Infante
Edição: 6ª ed. revista
Publicação: Mem Martins : Europa-América, 1974
Descrição física: 127, [1] p. : il. ; 23 cm
Colecção: (Biblioteca Universitária ; 17)
Notas: Tít. orig.: La logique moderne
Assuntos: Lógica | Lógica proposicional | Lógica funcional | Lógica matemática
CDU: 164
Veja também: Chauvineau, Jean | Infante, André
Localização: 164 CHA (BMS/BMS-DEP) - 125918 S. - Oferta de Rui Silva

O meu comentário Facebook Twitter LinkedIN
Título: A filosofia da matemática
Autor(es): Ambrogio Giacomo Manno ; trad. Armindo José Rodrigues
Publicação: Lisboa : Edições 70, [19--]
Descrição física: 303, [1] p. ; 22 cm
Colecção: (O Saber da Filosofia ; 6)
Notas: Tít. orig.: Filosofia della matematica
Assuntos: Russel, Bertrand--Concepção matemática | Matemática--Concepção filosófica | Filosofia--Matemática | Lógica--Matemática | Matemática--Demonstrações | Cientistas--Teorias matemáticas | Ciências matemáticas--Concepções | Linguagem matemática
CDU: 164 | 510
Veja também: Manno, Ambrogio Giacomo | Rodrigues, Armindo José
Localização: 164 MAN (BMS) - 14907

O meu comentário Facebook Twitter LinkedIN
Título: Introdução à filosofia da matemática
Autor(es): Bertrand Russel ; trad. Giasone Rebuá
Publicação: Rio de Janeiro : Zahar Editores, 1963
Descrição física: 197 p. ; 21 cm
Colecção: (Biblioteca de Cultura Científica)
Notas: Tít. orig.: Introduction to mathematical philosophy
Assuntos: Matemática--Introdução filosófica
CDU: 510 | 164
Veja também: Russell, Bertrand, 1872-1970 | Rebuá, Giasone
Localização: 510 RUS (BMS) - 8084