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.
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 03B05 - Classical propositional logic [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268201 |
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03H05 - Nonstandard models in mathematics [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268201 |
|
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||