01847nam0 22004573i 450 VAN0029775320251013015121.504N978058528844420250903d1997 |0itac50 baengNL|||| |||||i e bcrHenkin-Keisler Modelsby George WeaverDordrecht [etc.]Kluwer1997xii, 253 p.24 cm001VAN000224232001 Mathematics and its applications210 DordrechtReidel1977-2007300 L'editore varia in: Kluwer ; [poi] Springer39203-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C07Basic properties of first-order languages and structures [MSC 2020]VANC024469MF03C20Ultraproducts and related constructions [MSC 2020]VANC024508MFCardinalityKW:KComputer ScienceKW:KComputersKW:KEquivalenceKW:KLogicKW:KProofsKW:KSet TheoryKW:KUltraproductsKW:KNLDordrechtVANL000068WeaverGeorge E.VANV1532401845250Kluwer <editore>VANV108116650ITSOL20251017RICAhttps://doi.org/10.1007/b102616E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00297753BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12510 08eMF12510 20251006 Henkin-Keisler Models4429062UNICAMPANIA