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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
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 matematicaManuali |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001132260403321 |
Bell, John Lane | ||
Amsterdam : North-Holland, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A course in mathematical logic / by J. L. Bell and M. Machover |
Autore | Bell, J.S. |
Pubbl/distr/stampa | Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977 |
Descrizione fisica | xviii, 599 p. ; 23 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Machover, Moshé |
Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
ISBN | 0720428440 |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000798309707536 |
Bell, J.S. | ||
Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Lectures on non-standard analysis / Moshé Machover, Joram Hirschfeld |
Autore | Machover, Moshé |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1969 |
Descrizione fisica | VI, 79 p. ; 28 cm. |
Disciplina | 510 |
Altri autori (Persone) | Hirschfeld, Joram |
Collana | Lecture notes in mathematics |
Soggetto topico |
Analisi matematica
Logica matematica Logica simbolica Spazi uniformi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000013855 |
Machover, Moshé | ||
Berlin [etc.] : Springer, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Lectures on non-standard analysis / Moshé Machover, Joram Hirschfeld |
Autore | Machover, Moshé |
Pubbl/distr/stampa | Berlin : Springer Verlag, c1969 |
Descrizione fisica | 79 p. ; 28 cm |
Disciplina | 510 |
Altri autori (Persone) | Hirshfeld, Joram |
Collana | Lecture Notes in Mathematics |
Soggetto non controllato |
Atti di convegni
Analisi funzionale Algebre astratte |
ISBN | 3540046135 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001179290403321 |
Machover, Moshé | ||
Berlin : Springer Verlag, c1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Lectures on non-standard analysis / Moshé Machover, Joram Hirschfeld |
Autore | Machover, Moshé |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1969 |
Descrizione fisica | 79 p. ; 29 cm. |
Altri autori (Persone) | Hirschfeld, Joram author |
Collana | Lecture notes in mathematics, 0075-8434 ; 94 |
Soggetto topico | Nonstandard models of arithmetics |
Classificazione | AMS 03H05 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001067369707536 |
Machover, Moshé | ||
Berlin : Springer-Verlag, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Lectures on non-standard analysis [e-book] / by Moshé Machover, Joram Hirschfeld |
Autore | Machover, Moshé |
Pubbl/distr/stampa | Berlin : Springer, 1969 |
Descrizione fisica | 1 online resource (79 p.) |
Disciplina | 510 |
Altri autori (Persone) | Hirschfeld, Joram author |
Collana | Lecture Notes in Mathematics, 0075-8434 ; 94 |
Soggetto topico | Mathematics |
ISBN | 9783540361299 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002154539707536 |
Machover, Moshé | ||
Berlin : Springer, 1969 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|