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
Bounded variable logics and counting : a study in finite models
Lecture notes in logic : 9 (Alle Bände)
1997
Signatur: TCL4632

Details

Autor(en) / Beteiligte
Titel
Bounded variable logics and counting : a study in finite models
Ist Teil von
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1997
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 3540620370
OCLC-Nummer: 243846252, 243846252
Titel-ID: 990007168260106463
Format
IX, 183 S. : graph. Darst.
Systemstelle
TCL
Schlagworte
Modelltheorie

Lade weitere Informationen...