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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
