Henkin-Keisler Models / by George Weaver
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Weaver, George E.
|
| Titolo: |
Henkin-Keisler Models / by George Weaver
|
| Pubblicazione: | Dordrecht [etc.], : Kluwer, 1997 |
| Descrizione fisica: | xii, 253 p. ; 24 cm |
| Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
| 03C07 - Basic properties of first-order languages and structures [MSC 2020] | |
| 03C20 - Ultraproducts and related constructions [MSC 2020] | |
| Soggetto non controllato: | Cardinality |
| Computer Science | |
| Computers | |
| Equivalence | |
| Logic | |
| Proofs | |
| Set Theory | |
| Ultraproducts | |
| Titolo autorizzato: | Henkin-Keisler Models |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN00297753 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | https://doi.org/10.1007/b102616 |
| Opac: | Controlla la disponibilità qui |
Serie:
Mathematics and its applications Dordrecht . -Reidel , 1977-2007 L'editore varia in: Kluwer ; [poi] Springer ; 392