Sistema Bibliotecario Provinciale di Rovigo
Informazioni Utili
Percorsi di lettura
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
Biblioteca
Collocazione
Serie
Inventario
Prestito
Biblioteca dell'Accademia dei Concordi di Rovigo
Conc. F.12.5.30 01
110462
Ammesso al prestito
Descrizione: Carnap, Rudolf. Introduzione alla logica simbolica con particolare riferimento alle sue applicazioni / Rudolf Carnap ; presentazione di Alberto Pasquinelli. - Firenze : La nuova Italia, 1978. IX, 385 p. ; 22 cm. ( Pensatori del nostro tempo ; 16 )
Codice record: SBL0323018
Conc. 160 CARR
138683
Non ammesso al prestito
Descrizione: Bochenski, Joseph M.. Nove lezioni di logica simbolica / Joseph Bochenski. - Bologna : ESD, [1995]. 141 p. ; 21 cm.. ( Philosophia ; 22 )
Codice record: RAV0271763
Conc. 511.3 BOCJ
139754
Descrizione: Borga, Marco. Fondamenti di logica : introduzione alla teoria della dimostrazione / di Marco Borga. - Milano : F. Angeli, [1995]. 136 p. ; 22 cm. ( Epistemologia ; 49 )
Codice record: MIL0281226
Conc. R.G.A.76 01
67786
Descrizione: Gödel, Kurt. La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi. - Torino : Bollati Boringhieri, 2006. 123 p. ; 18 cm.. ( Incipit ; 3 )
Codice record: RAV1449417
Conc. 511.3 GODK
140239
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
Conc. 511.3 ROGR
138663
Descrizione: Pasquinelli, Alberto. Introduzione alla logica simbolica / Alberto Pasquinelli ; pref. di Ludovico Geymonat. - Torino : Einaudi, 1957. X, 118 p. ; 22 cm.. ( Biblioteca di cultura scientifica ; 52 )
Codice record: MIL0094322
Conc. 511.3 PASA
139373
Descrizione: Nagel, Ernest. La prova di Gödel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard. - Torino : Bollati Boringhieri, 1992. - 2. ed. accresciuta. 136 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 102 )
Codice record: RAV0186758
Conc. 511.3 NAGE
139855
Descrizione: Lolli, Gabriele. Introduzione alla logica formale / Gabriele Lolli. - Bologna : Il mulino, [1991]. 333 p. ; 25 cm. ( Strumenti. Filosofia )
Codice record: RAV0141394
Conc. 511.3 LOLG
139130
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
Conc. 511.3 LEME
138682
Descrizione: Il teorema di Godel : una messa a fuoco / [a cura di] S. G. Shanker. - Padova : Muzzio, 1991. XXVI, 324 p. ; 22 cm. ( Muzzio scienze ; 6 )
Codice record: RAV0135219
Conc. G.18.5.58 01
56946
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
Conc. G.8.4.22 01
50544
Descrizione: Dorato, Mauro. Il software dell'universo : saggio sulle leggi di natura / Mauro Dorato. - [Milano] : B. Mondadori, 2000. 290 p. ; 17 cm. ( Biblioteca delle scienze )
Codice record: RAV0698929
Biblioteca comunale di Castelmassa
501 DOR 01
27926
Conc. 511.3 DORM
140129
Descrizione: Marruccelli, Aldo. Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975. VII, 174 p. ; 21 cm .. ( La cultura ; 7 )
Codice record: SBL0167800
Biblioteca del Seminario Vescovile 'S. Pio X'
RIGO.IV.E 0560
78064
Conc. 511.3 MARA
138726
