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.
Calculus / Kenneth McAloon, Anthony Tromba ; with the assistance of Jerrold Marsden...[et al.]
| Calculus / Kenneth McAloon, Anthony Tromba ; with the assistance of Jerrold Marsden...[et al.] |
| Autore | McAloon, Kenneth |
| Pubbl/distr/stampa | New York : Harcourt Brace Jovanovich, 1972 |
| Descrizione fisica | xv, 879 p. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Tromba, Anthony J.author |
| Collana | Eagle mathematics series ; 1BCD |
| Soggetto topico | Real functions-textbooks |
| ISBN | 0155185306 |
| Classificazione |
AMS 26-01
AMS 26-XX |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000730529707536 |
McAloon, Kenneth
|
||
| New York : Harcourt Brace Jovanovich, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Diagonal Methods and Strong Cuts in Models of Arithmetic / Kenneth Mc Aloon
| Diagonal Methods and Strong Cuts in Models of Arithmetic / Kenneth Mc Aloon |
| Autore | McAloon, Kenneth |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1978 |
| Descrizione fisica | 171-297 ; 22 cm |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001028700403321 |
|
McAloon, Kenneth
|
||
| Amsterdam [etc.] : North-Holland, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Colloquium '78 : Proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk Van Dalen, Kenneth Mcaloon
| Logic Colloquium '78 : Proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk Van Dalen, Kenneth Mcaloon |
| Autore | Boffa, Maurice |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1979 |
| Disciplina | 160 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000963400403321 |
|
Boffa, Maurice
|
||
| Amsterdam [etc.] : North-Holland, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic colloquium, '78 : proceedings of the Colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van dalen, Kenneth McAloon
| Logic colloquium, '78 : proceedings of the Colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van dalen, Kenneth McAloon |
| Autore | Boffa, Maurice |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1979 |
| Descrizione fisica | x, 433 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Dalen, Dirk van
McAloon, Kenneth |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 97 |
| Soggetto topico | Logic - Congresses |
| ISBN | 0444853782 |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001094719707536 |
|
Boffa, Maurice
|
||
| Amsterdam : North-Holland, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre
| Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre |
| Autore | Berline, Chantal |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | vi, 306 p. ; 25 cm. |
| Disciplina | 511.8 |
| Altri autori (Persone) |
McAloon, Kenneth
Ressayre, Jean-Pierre |
| Collana | Lecture notes in mathematics, 0075-8434 ; 890 |
| Soggetto topico |
Mathematical logic and foundations - Congresses
Model theory |
| ISBN | 354011159X |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149179707536 |
|
Berline, Chantal
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and arithmetic [e-book] : comptes eendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre
| Model theory and arithmetic [e-book] : comptes eendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by Chantal Berline, Kenneth McAloon, Jean-Pierre Ressayre |
| Pubbl/distr/stampa | Berlin : Springer, 1981 |
| Descrizione fisica | 1 online resource (306 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Berline, Chantal
McAloon, Kenneth Ressayre, Jean-Pierre |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 890 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540386292 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002192839707536 |
| Berlin : Springer, 1981 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80 / edité par C. Berline, K. McAloon et J.-P. Ressayre
| Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80 / edité par C. Berline, K. McAloon et J.-P. Ressayre |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | vi, 306 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 Models Multiplication Ordinals Peano's arithmetic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
fre |
| Record Nr. | UNICAMPANIA-VAN0261835 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of algebra and arithmetic : comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'arithmetique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, J.-P. Ressayre
| Model theory of algebra and arithmetic : comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'arithmetique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, J.-P. Ressayre |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1981 |
| Descrizione fisica | VI, 306 p. ; 25 cm. |
| Disciplina | 511.8 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Teoria dei modelli - Congressi |
| ISBN | 3-540-11159-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000014434 |
| Berlin [etc.] : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||