An outline of mathematical logic: fundamental results and notions explained with all details / by Grzegorczyk, A. |
Autore | Grzegorczyk, Andrzej |
Pubbl/distr/stampa | Dordrecht [etc.] : Reidel, 1974 |
Collana | Synthese Library |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001248080403321 |
Grzegorczyk, Andrzej | ||
Dordrecht [etc.] : Reidel, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fonctions Recursives / par Andrzej Grzegorczyk |
Autore | Grzegorczyk, Andrzej |
Pubbl/distr/stampa | Paris : Gauthier-Villars : E. Nauwelaerts, 1961 |
Descrizione fisica | 100 p. ; 25 cm |
Disciplina | 160 |
Collana | Collection de logique mathématique, Série A |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNINA-990001002400403321 |
Grzegorczyk, Andrzej | ||
Paris : Gauthier-Villars : E. Nauwelaerts, 1961 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Fonctions Recursives / DI GRZEGORCZYK, A. |
Autore | Grzegorczyk, Andrzej |
Pubbl/distr/stampa | Paris : Gauthier-Villars, 1961 |
Collana | Collection de logique mathématique, Série A |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001248090403321 |
Grzegorczyk, Andrzej | ||
Paris : Gauthier-Villars, 1961 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk |
Autore | Grzegorczyk, Andrzej |
Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., [1974] |
Descrizione fisica | x, 596 p. : ill. ; 23 cm. |
Disciplina | 511.3 |
Soggetto topico | Symbolic logic |
ISBN | 9027703590 |
Classificazione |
AMS 03-01
AMS 03-XX |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001216329707536 |
Grzegorczyk, Andrzej | ||
Boston : D. Reidel Publ. Co., [1974] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Some Classes of Recursive Functions / Andrzej Grzegorczyk |
Autore | Grzegorczyk, Andrzej |
Pubbl/distr/stampa | Warszawa : Polskie Towarzystwo Mathematyczne, 1953 |
Descrizione fisica | 44 p. ; 25 cm |
Disciplina | 160 |
Collana | Rozprawy Matematyczne |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001002390403321 |
Grzegorczyk, Andrzej | ||
Warszawa : Polskie Towarzystwo Mathematyczne, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|