Cambridge Summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
Autore | Cambridge Summer school in mathematical logic <1971 ; Cambridge> |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
Descrizione fisica | ix, 660 p. ; 26 cm |
Disciplina | 511.3 |
Altri autori (Persone) |
Mathias, A. R. D.
Rogers, Hartley |
Collana | Lecture notes in mathematics, 0075-8434 ; 337 |
Soggetto topico | Symbolic logic - Congresses |
ISBN | 354005569X |
Classificazione | AMS 03-06 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000730789707536 |
Cambridge Summer school in mathematical logic <1971 ; Cambridge>
![]() |
||
Berlin ; New York : Springer-Verlag, 1973 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 / Edited by A.R.D. Mathias, H. Rogers |
Autore | Mathias, A. R. D. <Adrian Richard David ; <1944- |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1973 |
Descrizione fisica | IX, 660 p. ; 25 cm |
Disciplina | 160 |
Collana | Lecture Notes in Mathematics |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 3-540-05569-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001031700403321 |
Mathias, A. R. D. <Adrian Richard David ; <1944-
![]() |
||
Berlin [etc.] : Springer-Verlag, 1973 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
Autore | Summer school in mathematical logic : <1971 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1973 |
Descrizione fisica | IX, 660 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico |
Logica simbolica - Congressi
Logica matematica - Congressi |
ISBN | 3-540-05569-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione |
eng
fre |
Record Nr. | UNIBAS-000014807 |
Summer school in mathematical logic : <1971
![]() |
||
Berlin [etc.] : Springer, 1973 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Theory of recursive functions and effective computability / Hartley Rogers, Jr. |
Autore | Rogers, Hartley |
Pubbl/distr/stampa | Cambridge [etc.] : The MIT Press, c1987 |
Descrizione fisica | xxi, 482 p. ; 23 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 0-262-68052-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001091770403321 |
Rogers, Hartley
![]() |
||
Cambridge [etc.] : The MIT Press, c1987 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory of recursive functions and effective computability / Hartley Rogers |
Autore | Rogers, Hartley |
Pubbl/distr/stampa |
Cambridge : < |
Descrizione fisica | XXI, 482 p. ; 23 cm. |
Disciplina | 511.3 |
Soggetto topico | Logica matematica |
ISBN | 0-262-68052-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000011491 |
Rogers, Hartley
![]() |
||
Cambridge : <<The>> Mit press, c1987 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Theory of recursive functions and effective computability / Hartley Rogers jr |
Autore | Rogers, Hartley |
Pubbl/distr/stampa | Cambridge, Mass. ; London, : The MIT press, c1987 |
Descrizione fisica | XIX, 482 p. ; 23 cm |
Disciplina | 511.3 |
Soggetto topico |
Funzioni recorsive
Funzioni computabili |
ISBN | 0262680521 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10004525 |
Rogers, Hartley
![]() |
||
Cambridge, Mass. ; London, : The MIT press, c1987 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Theory of recursive functions and effective computability / Hartley Rogers |
Autore | Rogers, Hartley |
Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, c1967 |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001087840403321 |
Rogers, Hartley
![]() |
||
New York [etc.] : McGraw-Hill, c1967 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory of recursive functions and effective computability / Hartley Rogers jr |
Autore | Rogers, Hartley |
Pubbl/distr/stampa | New York : McGraw-Hill, c1967 |
Descrizione fisica | xix, 482 p. ; 23 cm. |
Disciplina | 511.33 |
Collana | McGraw-Hill series in higher mathematics |
Soggetto topico |
Computability
Recursive functions |
Classificazione | AMS 03D |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001436969707536 |
Rogers, Hartley
![]() |
||
New York : McGraw-Hill, c1967 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|