| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
Utilità

Risultati ricerca

Espressione di ricerca: ((AREA=SCI) OR (AREA=MED) OR (AREA=ESG) OR (AREA=UMA)) AND (CD=E.0$ OR LO=E.0$) Risultato ricerca: 57 Lunghezza lista: 30 Ordinamento: Data (decrescente), Autore, Titolo
Seleziona uno o più documenti

 

1/57  
Bellissima, Fabio . Fondamenti di matematica / Fabio Bellissima. - Roma : Carocci, 2008. - 125 p. ; 20 cm.. - (Le bussole ; 325)
Classificazione: 510 [D] [MATEMATICA]

Ateneo. Scienza e Tecnica: Matematica E.0 /l/4

3/57  
Manca, Vincenzo [1949- ] . Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin. - Torino : Bollati Boringhieri, 2001. - 200 p. ; 22 cm.. - (Nuova didattica. Scienze)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /l/2

4/57  
Poizat, Bruno . A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated by Moses Klein. - New York [etc.] : Springer, c2000. - XXXI, 443 p. ; 24 cm. - (Universitext)
Classificazione: 511.8 [D] [MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /l/1

5/57  
Devlin, Keith J. . Addio, Cartesio : la fine della logica e la ricerca di una nuova cosmologia della mente / Keith Devlin. - Torino : Bollati Boringhieri, 1999. - 369 p. ; 22 cm. - (Saggi. Scienze)
Classificazione: 128.3 [D] [FILOSOFIA. ATTRIBUTI E FACOLTA DEL GENERE UMANO]

Pavia. Universitaria: PAPIA B 29259

Ateneo. Scienza e Tecnica: Matematica E.0 /i/7

6/57  
Manzano, Maria . Model theory / María Manzano ; translated by Ruy J. G. B. De Queiroz. - Oxford : Clarendon Press, 1999. - XXIII, 239 p. ; 23 cm.. - (Oxford logic guides ; 37)
Classificazione: 512.2 [D] [GRUPPI E TEORIA DEI GRUPPI]

Ateneo. Scienza e Tecnica: Matematica E.0 /i/6

7/57  
Suppes, Patrick . Introduction to logic / Patrick Suppes. - Mineola : Dover, 1999. - XIV, 312 p. ; 22 cm. - (Dover books on advanced mathematics)

Ateneo. Scienza e Tecnica: Matematica E.0 /i/3

8/57  
Smullyan, Raymond . First-order logic / Raymond M. Smullyan. - New York : Dover, c1995. - XII, 158 p. ; 22 cm.. - (Dover books on advanced mathematics)

Ateneo. Scienza e Tecnica: Matematica E.0 /i/5

9/57  

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E.III 819

Ateneo. Scienza e Tecnica: Matematica E.0 /i/2

10/57  
Logica matematica e logica filosofica / Evandro Agazzi ... [et al.] ; a cura di Evandro Agazzi. - Brescia : La scuola, ©1990. - 134 p. ; 22 cm.. - (Secondaria superiore/saggi)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /i/1

Ateneo. Scienza e Tecnica: Matematica E.0 /i/1 bis

11/57  
Margaris, Angelo . First order mathematical logic / by Angelo Margaris. - New York : Dover, 1990. - X, 211 p. ; 23 cm. - (Dover books on advanced mathematics)

Ateneo. Scienza e Tecnica: Matematica E.0 /h/9

12/57  

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.FREGE 5

Ateneo. Scienza e Tecnica: Matematica E.0 /h/8

Ateneo. Scienze Politiche: SP.4 00090

Ateneo. Centro Manoscritti: F.GIULIANI Filosofia Frege_1

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.FREGE 5 BIS

13/57  
Lolli, Gabriele . Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli. - Bologna : Il mulino, c1988. - 209 p. ; 22 cm.. - (Saggi ; 351)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Economia: 030 01214

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E. III 550

Ateneo. Scienza e Tecnica: Matematica E.0 /h/7

Ateneo. Giurisprudenza: Sede PRIVATO FIL.DIR. I-H- 957

14/57  
Il problema dei fondamenti della matematica / a cura di Marco Borga e Fulvia Furinghetti. - Genova : ECIG, ©1986. - 165 p. ; 21 cm.
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /h/13

15/57  
Bolzano, Bernard . Del metodo matematico / Bernard Bolzano ; introduzione di Carlo Cellucci. - Torino : Boringhieri, 1985. - 100 p. : ill., 1 ritr. ; 23 cm. - (Lectio)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /h/12

16/57  
Lolli, Gabriele . Le ragioni fisiche e le dimostrazioni matematiche / Gabriele Lolli. - Bologna : Il mulino, [1985]. - 364 p. ; 22 cm.. - (Saggi ; 294)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Economia: 030 01216

Ateneo. Scienza e Tecnica: Matematica E.0 /h/10

17/57  

Ateneo. Scienza e Tecnica: Matematica E.0 /h/6

Ateneo. Giurisprudenza: Sede PRIVATO FIL.DIR. I-H- 346

Stradella. "P. Bazzini": 511.3_HOF

Pavia. Collegio Ghislieri: 143 1 13

San Martino Siccomario. "A. Frank": 511.3_HOF

18/57  
Wang Hao . Dalla matematica alla filosofia / Hao Wang. - Torino : Boringhieri, [1984]. - 448 p. ; 24 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E. III 679

Ateneo. Scienza e Tecnica: Matematica E.0 /h/4

20/57  
Hatcher, William S. . The logical foundations of mathematics / by William S. Hatcher. - Oxford [etc.] : Pergamon, 1982. - X, 320 p. ; 26 cm.. - (Foundations and philosophy of science and technology)

Ateneo. Scienza e Tecnica: Matematica E.0 /h/1

22/57  
Shoenfield, Joseph Robert . Logica matematica / Joseph R. Shoenfield. - Torino : Boringhieri, 1980. - 380 p. ; 23 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [D] [LOGICA MATEMATICA, LOGICA SIMBOLICA]

Ateneo. Scienza e Tecnica: Matematica E.0 /h/5

Bressana Bottarone. "G. Rodari": 511.3_SHO

25/57  
Stoll, Robert R. . Set theory and logic / by Robert R. Stoll. - New York : Dover, 1979. - XIV, 474 p. ; 22 cm. - (Dover books on advanced mathematics)
Classificazione: 511.322 [D] [MATEMATICA. TEORIA DEGLI INSIEMI]

Ateneo. Scienza e Tecnica: Matematica E.0 /g/10

27/57  
Logic colloquium [Wroclaw, Poland ; 1977] . Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris. - Amsterdam [etc.] : North-Holland, 1978. - X, 311 p. ; 24 cm.. - (Studies in logic and the foundations of mathematics ; 96)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /g/5

29/57  
Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al.]. - Amsterdam [etc.] : North-Holland, 1977. - XI, 1165 p. ; 23 cm.. - (Studies in logic and the foundations of mathematics ; 90)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /g/1

 

Seleziona uno o più documenti

 

Tempo di elaborazione: 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 25-09-2017 05:02:18 - Schede in OPAC:  1801697
EasyWeb Five © 5.6.3 - 1994-2017 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0