| Vai direttamente ai contenuti della pagina |

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

Risultati ricerca

Selezione: Baldry, Peter E. Risultato ricerca: 6
Seleziona uno o pi¨ documenti

 

1/6  

Ateneo. Studi Umanistici: Filosofia e Psicologia Fil.Sc.II-154

Broni: 160_TAR

3/6  
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] [D]

Pavia. Universitaria: PAPIA B 8724

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

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

4/6  

Ateneo. Studi Umanistici: Filosofia e Psicologia FIL.TEOR. F.S.E.III 603

6/6  
La ricerca logica in Italia : studi in onore di Corrado Mangione : Milano, 10-11 settembre 2009 / a cura di Edoardo Ballo e Carlo Cellucci. - Milano : Cisalpino, 2011. - XVI, 461 p. : 1 ritratto ; 24 cm. - (Quaderni di Acme / UniversitÓ degli studi di Milano, FacoltÓ di lettere e filosofia ; 124)

Ateneo. Studi Umanistici: S. Tommaso E.C b 00007 124

Pavia. 'C. Bonetta': SV3 9774

 

Seleziona uno o pi¨ documenti

 

Tempo di elaborazione: inferiore a 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 21-11-2019 06:39:32 - Schede in OPAC:  2081004
EasyWeb Five © 5.7.3 - 1994-2019 è un prodotto Nexus IT

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