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
Algebra of proofs / by SZABO M.E.
Algebra of proofs / by SZABO M.E.
Autore Szabo, Manfred Egon
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001304300403321
Szabo, Manfred Egon  
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The Collected Papers of Gerhard Gentzen / edited by M.E. Szabo
The Collected Papers of Gerhard Gentzen / edited by M.E. Szabo
Autore Gentzen, Gerhard
Pubbl/distr/stampa Amsterdam [etc.] : North-Holland, 1969
Descrizione fisica xii, 338 p. ; 23 cm
Disciplina 160
Soggetto non controllato Logica
Ricorsività
ISBN 0-7204-2254-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001068010403321
Gentzen, Gerhard  
Amsterdam [etc.] : North-Holland, 1969
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui