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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | ||
|