Introduction to mathematical logic / E. Mendelson |
Autore | Mendelson, Elliott |
Edizione | [4. edition] |
Pubbl/distr/stampa | London [etc.], : Chapman & Hall, 1997, stampa 2001 |
Descrizione fisica | x, 440 p. ; 25 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
ISBN | 04-12-80830-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0053872 |
Mendelson, Elliott | ||
London [etc.], : Chapman & Hall, 1997, stampa 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to mathematical logic / E. Mendelson |
Autore | Mendelson, Elliott |
Edizione | [4. edition] |
Pubbl/distr/stampa | London [etc.], : Chapman & Hall, 1997, stampa 2001 |
Descrizione fisica | x, 440 p. ; 25 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Exx - Set theory [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] |
ISBN | 04-12-80830-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00053872 |
Mendelson, Elliott | ||
London [etc.], : Chapman & Hall, 1997, stampa 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduction to mathematical logic / Elliott Mendelson |
Autore | Mendelson, Elliott |
Edizione | [2n ed.] |
Pubbl/distr/stampa | New York [etc.] : Van Nostrand, 1979 |
Descrizione fisica | viii, 328 p. ; 24 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 0-442-25307-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001033680403321 |
Mendelson, Elliott | ||
New York [etc.] : Van Nostrand, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to mathematical logic / by Elliott Mendelson |
Autore | Mendelson, Elliott |
Pubbl/distr/stampa | New York [etc.] : Van Nostrand Reinhold, 1972 |
Descrizione fisica | x, 300 p. ; 24 cm |
Disciplina | 509 |
Collana | The university series in undergraduate mathematics |
Soggetto non controllato | Storia della scienza |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001033690403321 |
Mendelson, Elliott | ||
New York [etc.] : Van Nostrand Reinhold, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to mathematical logic / by Elliott Mendelson |
Autore | Mendelson, Elliott |
Edizione | [Reprinted] |
Pubbl/distr/stampa | Princeton [N.J.] : Van Nostrand, 1965 |
Descrizione fisica | x, 300 p. ; 24 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001033670403321 |
Mendelson, Elliott | ||
Princeton [N.J.] : Van Nostrand, 1965 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to mathematical logic / Elliott Mendelson |
Autore | Mendelson, Elliott |
Pubbl/distr/stampa | Princeton [N.J.] : Van Nostrand, 1964 |
Descrizione fisica | 300 p. : ill. ; 24 cm |
Disciplina | 164 |
Collana | The university series in undergraduate mathematics |
Soggetto non controllato | Logica, simbolica e matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001184000403321 |
Mendelson, Elliott | ||
Princeton [N.J.] : Van Nostrand, 1964 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to mathematical logic / Elliott Mendelson |
Autore | Mendelson, Elliott |
Edizione | [4. ed.] |
Pubbl/distr/stampa | [London] : Chapman & Hall/CRC, 1997, stampa 2001 |
Descrizione fisica | x, 440 p. ; 25 cm. |
Disciplina | 511.3 |
Soggetto topico | Logica matematica - Teorie |
ISBN | 0412808307 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001864899707536 |
Mendelson, Elliott | ||
[London] : Chapman & Hall/CRC, 1997, stampa 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Introduction to mathematical logic / Elliott Mendelson |
Autore | Mendelson, Elliott |
Pubbl/distr/stampa | Princeton : Van Nostrand Reinhold Co., c1964 |
Descrizione fisica | x, 300 p. ; 24 cm. |
Disciplina | 511.3 |
Collana | The University series in undergraduate mathematics ; 13 |
Soggetto topico |
Mathematical logic-textbooks
Symbolic logic |
Classificazione | AMS 03-01 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001020959707536 |
Mendelson, Elliott | ||
Princeton : Van Nostrand Reinhold Co., c1964 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Introduction to mathematical logic / Elliott Mendelson |
Autore | Mendelson, Elliott |
Pubbl/distr/stampa | New York : Van Nostrand Reinhold Co., 1964 |
Descrizione fisica | x, 300 p. ; 22 cm. |
Soggetto topico | Logic |
Classificazione |
164
510.02 QA9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001021149707536 |
Mendelson, Elliott | ||
New York : Van Nostrand Reinhold Co., 1964 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Introduzione alla logica matematica / Elliott Mendelson |
Autore | Mendelson, Elliott |
Pubbl/distr/stampa | Milano : Boringhieri, 1972 |
Disciplina | 164.A |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990001033660403321 |
Mendelson, Elliott | ||
Milano : Boringhieri, 1972 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|