Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Henkin Keisler models
Mathematics and its applications : 392 (Alle Bände)
1997
Signatur: TCL4551

Details

Autor(en) / Beteiligte
Titel
Henkin Keisler models
Ist Teil von
Ort / Verlag
Dordrecht [u.a.] : Kluwer Academic
Erscheinungsjahr
1997
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0792343662
OCLC-Nummer: 832960199, 832960199
Titel-ID: 990007206450106463
Format
XII, 253 S.
Systemstelle
TCL
Schlagworte
Modelltheorie, Prädikatenlogik, Stufe 1, Gödelscher Vollständigkeitssatz, Ultraprodukt

Lade weitere Informationen...