Sistema Bibliotecario Provinciale di Rovigo
Informazioni Utili
Percorsi di lettura
Raffina la ricerca - Hai eseguito la ricerca con i criteri: Soggetto: "Logica matematica"
Tipologia:
Monografia moderna
Descrizione:
Elementi di logica : con gli esercizi risolti / E. J. Lemmon . - Roma [ecc.] : Laterza, 1986 . - XI, 296 p. ; 21 cm . - ( Biblioteca universale Laterza ; 182 )
Titolo dell'opera:
Beginning logic
Autore/Autrice:
Lemmon, Edward John
Data:
1986
ISBN:
8842027723
Altri numeri standard:
N. Bibliografia nazionale 88-6386
Collana:
Biblioteca universale Laterza
Note:
Trad. di Massimo Prampolini.
Lingua:
Italiano
Paese:
Italia
Soggetto:
Logica matematica
Classificazione:
511.3
Codice record:
CFI0060357
La matematica della verità : strumenti matematici della semantica logica / Ettore Casari . - Torino : Bollati Boringhieri, 2006 . - 453 p. ; 22 cm. . - ( Nuova didattica. Scienze )
Casari, Ettore [1933-2019]
2006
8833957748
Nuova didattica. Scienze
RAV1438294
Nove lezioni di logica simbolica / Joseph Bochenski . - Bologna : ESD, [1995] . - 141 p. ; 21 cm. . - ( Philosophia ; 22 )
Bochenski, Joseph M.
1995
8870942139
N. Bibliografia nazionale 96-11064
Philosophia
RAV0271763
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 )
The mathematical analysis of logic.
Boole, George
1993
8833907368
9788833907369
N. Bibliografia nazionale 93-8057
Universale Bollati Boringhieri. Serie scientifica
Il calcolo logico, dello stesso A. (tit. orig.: the calculus of logic) Ed. italiana a cura di Massimo Mugnai.
511.324
CFI0250099
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 )
Mathematical Logic and Formalized Theories
Rogers, Robert
1978
N. Bibliografia nazionale 799900
Sc/10. Manuali
Trad. di Daniela Silvestrini.
SBL0241368
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 )
Bemerkungen über die Grundlagen der Mathematik
Wittgenstein, Ludwig
Altri autori:
Trinchero, Mario
1971
N. Bibliografia nazionale 718367
Biblioteca di cultura filosofica
164
SBL0374071
Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975 . - VII, 174 p. ; 21 cm . . - ( La cultura ; 7 )
Marruccelli, Aldo
1975
N. Bibliografia nazionale 768516
La cultura
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 . - Firenze : La Nuova Italia, 1975 . - 253 p. ; ill. ; 21 cm . - ( Dimensioni ; 36 )
Wittgenstein und der Wiener Kreis. -
Waismann, Friedrich ; De Waal, Sabina ; McGuinness, Brian
N. Bibliografia nazionale 778701
Dimensioni
Trad. S. de Waal.
Logica matematica ; Matematica - Filosofia
510
SBL0589162
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 )
1988
8806599860
N. Bibliografia nazionale 90-10125
Einaudi paperbacks
Logica matematica ; Matematica - Teorie
CFI0134196