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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|