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.
A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz
A course in mathematical logic / Yu. I. Manin ; translated from the Russian by Neal Koblitz
Autore Manin, Yuri Ivanovich
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1977
Descrizione fisica xiii, 286 p. ; 24 cm
Disciplina 160
Collana Graduate texts in mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 0-387-90243-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001029700403321
Manin, Yuri Ivanovich  
New York [etc.] : Springer-Verlag, 1977
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A general interpreted modal calculus / by Aldo Bressan ; foreword by Nuel D. Belnap, Jr.
A general interpreted modal calculus / by Aldo Bressan ; foreword by Nuel D. Belnap, Jr.
Autore Bressan, Aldo
Pubbl/distr/stampa New Haven : Yale University Press, 1972
Descrizione fisica xxv, 327 p. ; 22 cm
Disciplina 160
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000967720403321
Bressan, Aldo  
New Haven : Yale University Press, 1972
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Precis of Mathematical Logic / J.M. Bochenski ; translated from the French and German editions by Otto Bird
A Precis of Mathematical Logic / J.M. Bochenski ; translated from the French and German editions by Otto Bird
Autore Bochenski, Joseph M. <1902- >
Pubbl/distr/stampa Dordrecht (NL) : Reidel, 1959
Descrizione fisica 100 p. ; 23 cm
Disciplina 160
Collana Synthese Library
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000963220403321
Bochenski, Joseph M. <1902- >  
Dordrecht (NL) : Reidel, 1959
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A profile of mathematical logic / Howard Delong
A profile of mathematical logic / Howard Delong
Autore Delong, Howard
Pubbl/distr/stampa Reading [Mass.] [etc.] : Addison-Wesley, 1970
Descrizione fisica XIV, 304 p. ; 24 cm
Disciplina 160
Collana Addison-Wesley series in mathematics
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001145560403321
Delong, Howard  
Reading [Mass.] [etc.] : Addison-Wesley, 1970
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Theory of Formal Deducibility / by Haskell B. Curry
A Theory of Formal Deducibility / by Haskell B. Curry
Autore Curry, Haskell B.
Edizione [3rd printing]
Pubbl/distr/stampa Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950
Descrizione fisica xi, 129 p. ; 23 cm
Disciplina 160
Collana Notre Dame Mathematical Lectures
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000980090403321
Curry, Haskell B.  
Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A Transfinite Type Theory with Type Variables / by P.B. Andrews
A Transfinite Type Theory with Type Variables / by P.B. Andrews
Autore Andrews, Peter B.
Pubbl/distr/stampa Amsterdam : North-Holland, 1965
Descrizione fisica xv, 143 p. ; 23 cm
Disciplina 160
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000953750403321
Andrews, Peter B.  
Amsterdam : North-Holland, 1965
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advanced logic for applications / Richard E. Grandy
Advanced logic for applications / Richard E. Grandy
Autore Grandy, Richard E.
Pubbl/distr/stampa Boston [etc.] : Reidel, 1977
Descrizione fisica xi, 168 p. ; 21 cm
Disciplina 160
Collana Synthese Library
Soggetto non controllato Logica
Ricorsività
ISBN 90-277-0781-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001263410403321
Grandy, Richard E.  
Boston [etc.] : Reidel, 1977
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia / edited by J.N. Crossley
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia / edited by J.N. Crossley
Autore Australian Mathematical Society
Pubbl/distr/stampa Berlin [etc.] : Springer, 1975
Descrizione fisica VIII, 307 p. ; 24 cm
Disciplina 160
Collana Lecture notes in mathematics
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-07152-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000979730403321
Australian Mathematical Society  
Berlin [etc.] : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Algebraic logic / by Paul R. Halmos
Algebraic logic / by Paul R. Halmos
Autore Halmos, Paul Richard
Pubbl/distr/stampa New York : Chelsea, 1962
Descrizione fisica 271 p. ; 24 cm
Disciplina 160
Soggetto non controllato Logica
Ricorsività
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001002060403321
Halmos, Paul Richard  
New York : Chelsea, 1962
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui