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
Ergebnis 8 von 34
    Datensatz exportieren als...
  • BibTeX
Model theory for modal logic : Kripke models for modal predicate calculi
Synthese library : 127 (Alle Bände)
1979
Signatur: TCL2999

Details

Autor(en) / Beteiligte
Titel
Model theory for modal logic : Kripke models for modal predicate calculi
Ist Teil von
Ort / Verlag
Dordrecht : Reidel
Erscheinungsjahr
1979
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 9027709297
OCLC-Nummer: 251439420, 251439420
Titel-ID: 990001647040106463
Format
127 S.
Systemstelle
TCL
Schlagworte
Modallogik, Modelltheorie

Lade weitere Informationen...