| 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 (LO=E.0$) Risultato ricerca: 57 Inizio lista: 30 Lunghezza lista: 28 Ordinamento: Data (decrescente), Autore, Titolo
Seleziona uno o più documenti

 

32/57  
Hermes, Hans . Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes. - Torino : Boringhieri, 1975. - 318 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.8 [D] [MODELLI MATEMATICI] | 511.8 [D] [MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)] | 511.8 [D] [MODELLI MATEMATICI (SIMULAZIONE MATEMATICA)]

Pavia. Universitaria: PAPIA B 8724

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

Ateneo. Scienza e Tecnica: Matematica E.0 /g/14 bis

34/57  
Hatcher, William S. . Fondamenti della matematica / William S. Hatcher. - Torino : Boringhieri, 1973. - 454 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Classificazione: 511.3 [D] [ARITMETICA] | 511.3 [D] [LOGICA MATEMATICA, LOGICA SIMBOLICA]

Ateneo. Economia: 261 00017

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

Ateneo. Scienza e Tecnica: Matematica E.0 /g/12 bis

39/57  
40/57  
Robbin, Joel W. . Mathematical logic : a first course / Joel W. Robbin. - New York ; Amsterdam : Benjamin, 1969. - XII, 212 p. ; 24 cm.. - (University mathematics series)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

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

41/57  
44/57  
Shoenfield, Joseph Robert . Mathematical logic / Joseph R. Shoenfield. - Reading (Mass.) etc.! : Addison-Wesley, c1967. - VII, 344 p. ; 24 cm.. - (Addison-Wesley series in logic)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

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

45/57  

Ateneo. Economia: 279 00012

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. FIL.SC.II 116

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

46/57  

Pavia. Universitaria: PAPIA B 3439

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. FIL.SC.I 155

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

Pavia. Collegio Borromeo: FIL./N/CASARI 1

Pavia. 'C. Bonetta': SV3 2572

47/57  
Mendelson, Elliott . Introduction to mathematical logic / by Elliott Mendelson. - Princeton, NJ [etc.] : D. Van Nostrand, 1964. - X, 300 p. ; 24 cm. - (The university series in undergraduate mathematics)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /f/14

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia Fil. Sc. II-91

48/57  
Gradstejn, Izrail Solomonovic . Direct and converse theorems : the elements of symbolic logic / by I. S. Gradshtein ; translated from the Russian by T. Boddington. - Oxford [etc.] : Pergamon press, 1963. - XVIII, 173 p. ; 23 cm.. - (International series of monographs in pure and applied mathematics / I.N. Sneddon, S. Ulam, M. Stark ; 27)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /f/15

Ateneo. Scienze: Fisica 511.3 GRADIR 1963

49/57  
Stoll, Robert R. . Set theory and logic / by Robert R. Stoll. - San Francisco ; London : W. H. Freeman, c1963. - XIV, 474 p. : ill. ; 25 cm.. - (A Series of undergraduate books in mathematics)

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

50/57  
Wang Hao . A survey of mathematical logic / Hao Wang. - Peking ; Amsterdam : Science press : North-Holland, 1963. - X, 651 p. ; 26 cm.. - (Studies in logic and the foundations of mathematics ; 33)

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

Ateneo. Scienze: Fisica 511.3 WANSUR 1963

51/57  
53/57  
Hilbert, David - Ackermann, Wilhelm Friedrich [1896-1962] . Grundzuge der theoretischen Logik / von D. Hilbert und W. Ackermann. - 4. Aufl. - Berlin [etc.] : Springer, 1959. - VIII, 188 p. ; 24 cm.. - (Die Grundlehren der mathematischen Wissenschaften ; 27)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

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

54/57  
Suppes, Patrick . Introduction to logic / by Patrick Suppes. - Princeton, N.J. ; London : Van Nostrand, c1957. - XVIII, 312 p. ; 24 cm.. - (The university series in undergraduate mathematics)
Classificazione: 160 [D] [LOGICA]

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

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia Fil.Sc.II-82

 

Seleziona uno o più documenti

 

Tempo di elaborazione: inferiore a 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 11-12-2017 05:11:09 - Schede in OPAC:  1810645
EasyWeb Five© 5.6.3 - 1994-2017 è un prodotto Nexus IT

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