Ricerca avanzata

Ordina per:
Risultati: 1-9 su 9

Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali / Robert Rogers

Monografia moderna

Descrizione:  Rogers, Robert. Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali / Robert Rogers. - Milano : Feltrinelli, 1978. 216 p. ; 21 cm. ( Sc/10. Manuali ; 2 )

Codice record: SBL0241368

La matematica della verità : strumenti matematici della semantica logica / Ettore Casari

Monografia moderna

Descrizione:  Casari, Ettore 1933-. La matematica della verità : strumenti matematici della semantica logica / Ettore Casari. - Torino : Bollati Boringhieri, 2006. 453 p. ; 22 cm.. ( Nuova didattica. Scienze )

Codice record: RAV1438294

Nove lezioni di logica simbolica / Joseph Bochenski

Monografia moderna

Descrizione:  Bochenski, Joseph M.. Nove lezioni di logica simbolica / Joseph Bochenski. - Bologna : ESD, [1995]. 141 p. ; 21 cm.. ( Philosophia ; 22 )

Codice record: RAV0271763

L'analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai

Monografia moderna

Descrizione:  Boole, George. L'analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai. - Torino : Bollati Boringhieri, 1993. LVIII, 118 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 262 )

Codice record: CFI0250099

Elementi di logica : con gli esercizi risolti / E. J. Lemmon

Monografia moderna

Descrizione:  Lemmon, Edward John. Elementi di logica : con gli esercizi risolti / E. J. Lemmon. - Roma [ecc.] : Laterza, 1986. XI, 296 p. ; 21 cm. ( Biblioteca universale Laterza ; 182 )

Codice record: CFI0060357

Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero

Monografia moderna

Descrizione:  Wittgenstein, Ludwig. Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero. - Torino : Einaudi, [1971]. XXXVII, 263 p. : ill. ; 22 cm.. ( Biblioteca di cultura filosofica ; 35 )

Codice record: SBL0374071

Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975

Monografia moderna

Descrizione:  Marruccelli, Aldo. Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975. VII, 174 p. ; 21 cm .. ( La cultura ; 7 )

Codice record: SBL0167800

Ludwig Wittgenstein e il Circolo di Vienna / colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinness ; edizione italiana a cura di Sabina de Waal

Monografia moderna

Descrizione:  Wittgenstein, Ludwig. Ludwig Wittgenstein e il Circolo di Vienna / colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinness ; edizione italiana a cura di Sabina de Waal. - Firenze : La Nuova Italia, 1975. 253 p. ; ill. ; 21 cm. ( Dimensioni ; 36 )

Codice record: SBL0589162

Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero

Monografia moderna

Descrizione:  Wittgenstein, Ludwig. Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero. - Torino : G. Einaudi, [1988]. - Nuova ed. ampliata. XXXV, 335 p. : ill. ; 21 cm.. ( Einaudi paperbacks ; 182 )

Codice record: CFI0134196