A course in mathematical logic / J. L. Bell, M. Machover
| A course in mathematical logic / J. L. Bell, M. Machover |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1977 |
| Soggetto non controllato | Logica matematica - Manuali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001132260403321 |
Bell, John Lane
|
||
| Amsterdam : North-Holland, 1977 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A course in mathematical logic / by J. L. Bell and M. Machover
| A course in mathematical logic / by J. L. Bell and M. Machover |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1977 |
| Descrizione fisica | XVIII, 599 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Machover, Moshé |
| Soggetto topico | Logica matematica |
| ISBN | 0-7204-28440 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011205 |
Bell, John Lane
|
||
| Amsterdam [etc.] : North-Holland, 1977 | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
A primer of infinitesimal analysis / John L. Bell
| A primer of infinitesimal analysis / John L. Bell |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1998 |
| Descrizione fisica | xiii, 122 p. : ill. ; 24 cm |
| Soggetto non controllato |
Calcolo
Teoria delle funzioni di variabile reale Serie Integrazione e differenziazione Tabelle di integrali Teoria della misura |
| ISBN | 0-521-62401-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001496130403321 |
Bell, John Lane
|
||
| Cambridge : Cambridge University Press, 1998 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boolean-valued models and independence proofs in set theory / by J. L. Bell
| Boolean-valued models and independence proofs in set theory / by J. L. Bell |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | XVIII, 126 p. ; 24 cm. |
| Disciplina | 511.32 |
| Collana | Oxford logic guides |
| Soggetto topico |
Algebra booleana
Insiemi - Teoria |
| ISBN | 0-19-853168-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011266 |
Bell, John Lane
|
||
| Oxford : Clarendon Press, 1977 | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Boolean-valued models and independence proofs in set theory / by J. L. Bell
| Boolean-valued models and independence proofs in set theory / by J. L. Bell |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | xviii, 126 p. ; 24 cm |
| Disciplina |
160
511.32 |
| Collana | Oxford Logic Guides |
| Soggetto non controllato |
Teoria degli insiemi
Algebra astratta Teoria dei modelli |
| ISBN | 0-19-853168-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000959300403321 |
| Oxford : Clarendon Press, 1977 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The continuous and the infinitesimal in mathematics and philosophy / John L. Bell
| The continuous and the infinitesimal in mathematics and philosophy / John L. Bell |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Milano : Polimetrica, c2005 |
| Descrizione fisica | 353 p. : ill. ; 25 cm |
| Soggetto topico |
Infinito Matematica - Filosofia |
| ISBN | 8876990151 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001617049707536 |
Bell, John Lane
|
||
| Milano : Polimetrica, c2005 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Models and ultraproducts : an introduction / J. L. Bell, A. B. Slomson
| Models and ultraproducts : an introduction / J. L. Bell, A. B. Slomson |
| Autore | Bell, John Lane |
| Edizione | [2. rev. print] |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1971 |
| Descrizione fisica | IX, 322 p. ; 22 cm |
| Collana | Studies in logic and the foundations of mathematics |
| ISBN | 0720420547 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001132280403321 |
Bell, John Lane
|
||
| Amsterdam [etc.] : North-Holland, 1971 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models and ultraproducts : an introduction / by J. L. Bell and A. B. Slomson
| Models and ultraproducts : an introduction / by J. L. Bell and A. B. Slomson |
| Autore | Bell, John Lane |
| Pubbl/distr/stampa | Amsterdam [etc.] : North-Holland, 1969 |
| Descrizione fisica | IX, 322 p. ; 23 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-990000959310403321 |
Bell, John Lane
|
||
| Amsterdam [etc.] : North-Holland, 1969 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||