top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Algebra of proofs / M.E. Szabo
Algebra of proofs / M.E. Szabo
Autore Szabo, Manfred Egon
Pubbl/distr/stampa Amsterdam : North-Holland, 1978
Descrizione fisica xii, 297 p. ; 23 cm
Disciplina 160
Collana Studies in logic and the foundations of mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 0-7204-2286-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001068000403321
Szabo, Manfred Egon  
Amsterdam : North-Holland, 1978
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The collected papers of Gerhard Gentzen / M. E. Szabo ; A. Heyting...[et al.] (Eds.)
The collected papers of Gerhard Gentzen / M. E. Szabo ; A. Heyting...[et al.] (Eds.)
Autore SZABO, M.E.
Pubbl/distr/stampa Amsterdam : North-Holland, 1969
Descrizione fisica XIII, 338 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 7204-2254-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228700203316
SZABO, M.E.  
Amsterdam : North-Holland, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui