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.
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G. H. Muller, G. Takeuti, and T. Tugué
| Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G. H. Muller, G. Takeuti, and T. Tugué |
| Autore | Muller, Gert H. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | xi, 394 p. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Takeuti, Gaisi
Tugué, Tosiyuki |
| Collana | Lecture notes in mathematics, 0075-8434 ; 891 |
| Soggetto topico | Symbolic logic - Congresses |
| ISBN | 3540111611 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001095499707536 |
Muller, Gert H.
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic Symposia, Hakone1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, T. Tugue
| Logic Symposia, Hakone1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, T. Tugue |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | xiv, 398 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Finite Logic Mathematical logic Proofs Set Theory Transfinite induction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261824 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Prof Theory / by TAKEUTI Gaisi
| Prof Theory / by TAKEUTI Gaisi |
| Autore | Takeuti, Gaisi |
| Edizione | [II Ed.-] |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1987 |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001199140403321 |
|
Takeuti, Gaisi
|
||
| Amsterdam [etc.] : North-Holland, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Prof Theory / by TAKEUTI Gaisi
| Prof Theory / by TAKEUTI Gaisi |
| Autore | Takeuti, Gaisi |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001199130403321 |
|
Takeuti, Gaisi
|
||
| Amsterdam [etc.] : North-Holland | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof Theory / Gaisi Takeuti
| Proof Theory / Gaisi Takeuti |
| Autore | Takeuti, Gaisi |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1987 |
| Descrizione fisica | X, 490 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-444-87943-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001092590403321 |
|
Takeuti, Gaisi
|
||
| Amsterdam [etc.] : North-Holland, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof Theory / Gaisi Takeuti
| Proof Theory / Gaisi Takeuti |
| Autore | Takeuti, Gaisi |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1975 |
| Descrizione fisica | vii, 372 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-7204-2277-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001068280403321 |
|
Takeuti, Gaisi
|
||
| Amsterdam [etc.] : North-Holland, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Two Applications of Logic to Mathematics : Kano Memorial Lectures 3 / by Gaisi Takeuti
| Two Applications of Logic to Mathematics : Kano Memorial Lectures 3 / by Gaisi Takeuti |
| Autore | Takeuti, Gaisi |
| Pubbl/distr/stampa | [S.l.] : Iwanami Shoten, 1978 |
| Descrizione fisica | viii, 137 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Publications of the Mathematical Society of Japan |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001068260403321 |
|
Takeuti, Gaisi
|
||
| [S.l.] : Iwanami Shoten, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
