Proof theory / Kurt Schutte ; translation from the German by J. N. Crossley

• Record Nr.: UNIBAS000015504
• Autore: Schutte, Kurt
• Pubbl/distr/stampa: Berlin [etc.] : Springer, 1977
• ISBN: 3-540-07911-4
• Descrizione fisica: XII, 302 p. ; 25 cm.
• Collana: Grundlehren der mathematischen Wissenschaften ; 225
• Disciplina: 511.3
• Soggetti: Teoria della dimostrazione
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Da Velia a Sapri : itinerario costiero tra mito e storia / Angelo Guzzo

• Record Nr.: UNISA990000660220203316
• Autore: GUZZO, Angelo
• Pubbl/distr/stampa: Cava dei Tirreni : Arti grafiche Palumbo & Esposito, 1978
• Descrizione fisica: 278 p. : ill. ; 24 cm
• Disciplina: 914.5746
• Soggetti: Cilento Litorale
• Collocazione: XV.1.A. 1537(C 9 3 8)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia