Sistema Bibliotecario Provinciale di Rovigo
Informazioni Utili
Percorsi di lettura
Raffina la ricerca - Hai eseguito la ricerca con i criteri: Classificazione Dewey: "511.3"
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
Biblioteca
Collocazione
Serie
Inventario
Prestito
Biblioteca del Seminario Vescovile 'S. Pio X'
RIGO.IV.E 0560
78064
Ammesso al prestito
Biblioteca dell'Accademia dei Concordi di Rovigo
Conc. 511.3 MARA
138726
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: 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
Descrizione: Casari, Ettore [1933-2019]. 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
Conc. F.12.5.30 01
110462
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: 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: 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: 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: 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: 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: 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
