| 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.97$) Risultato ricerca: 10 Ordinamento: Data (decrescente), Autore, Titolo
Seleziona uno o pi¨ documenti

 

2/10  
3/10  
5/10  
Chang, Chen Chung - Keisler, H. Jerome . Teoria dei modelli / Chen-chung Chang e H. Jerome Keisler. - Torino : Boringhieri, 1980. - 538 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.97 /h/1

Ateneo. Scienza e Tecnica: Ingegneria MG 107

6/10  
7/10  
Davis, Martin . Applied nonstandard analysis / Martin Davis. - New York [etc.] : Wiley, c1977. - XII, 181 p. ; 24 cm.. - (Pure and applied mathematics)
Classificazione: 515 [D] [ANALISI MATEMATICA]

Ateneo. Scienza e Tecnica: Matematica E.97 /g/3

8/10  
Schutte, Kurt . Proof theory / Kurt Schutte ; translation from the German by J. N. Crossley. - Berlin [etc.] : Springer, 1977. - XII, 302 p. ; 25 cm.. - (Die Grundlehren der mathematischen Wissenschaften ; 225)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

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

10/10  
Robinson, Abraham [1918-1974] . Non-standard analysis / Abraham Robinson. - Amsterdam : North-Holland, 1966. - XI, 293 p. ; 23 cm.. - (Studies in logic and the foundations of mathematics ; 42)

Ateneo. Scienza e Tecnica: Matematica E.97 /f/1

Ateneo. Scienza e Tecnica: Matematica E.97 /g/2

 

Seleziona uno o pi¨ documenti

 

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

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