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 first course in modern logic / Edith Watson Schipper and Edward Schuh |
Autore | Watson Schipper, Edith |
Pubbl/distr/stampa | London : Routledge & Kegan Paul, 1960 |
Descrizione fisica | XVIII, 398 p. ; 22 cm |
Disciplina | 511 |
Altri autori (Persone) | Schu, Edward |
Soggetto non controllato |
Matematica
Logica |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNIPARTHENOPE-000028714 |
Watson Schipper, Edith
![]() |
||
London : Routledge & Kegan Paul, 1960 | ||
![]() | ||
Lo trovi qui: Univ. Parthenope | ||
|
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 | ||
|
Actes du congrès international des mathématiciens : 1-10 septembre 1970 Nice. France / publiés sous la direction du Comité d'organisation du Congrès |
Autore | Congrès international des mathématiciens : 11. : <1970 |
Pubbl/distr/stampa | Paris : Gauthier-Villars, 1971 |
Descrizione fisica | 3 v. (XXXIII, 532; 959; 371 p.) ; 24 cm |
Disciplina |
519
510 511.3 512 516 514 515 |
Soggetto non controllato |
Matematica - Applicazioni
Matematica - Didattica Opere di matematica generale Opera di bourbaki Logica Algebra Geometria Topologia Analisi Matematici - Congressi 1970 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
fre
eng |
Nota di contenuto | 1.: Documents, médailles Fields, Conférences générales (G), Logique (A), Algèbre 2.: Géométrie et topologie (C). Analyse (D) 3.: Mathématiques appliquées (E). Histoire et enseignement (F) |
Record Nr. | UNINA-990000837910403321 |
Congrès international des mathématiciens : 11. : <1970
![]() |
||
Paris : Gauthier-Villars, 1971 | ||
![]() | ||
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 | ||
|
Advances in modal logic / edited by Marcus Kracht ... [et al.] |
Pubbl/distr/stampa | Stanford : CSLI Publications, 1998 |
Descrizione fisica | XVI, 392 p. ; 23 cm |
Disciplina | 160 |
Collana | CSLI lecture notes |
Soggetto non controllato | Logica |
ISBN | 1-57586-102-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990006912170403321 |
Stanford : CSLI Publications, 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|