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...
    Datensatz exportieren als...
  • BibTeX
First order logic
Ergebnisse der Mathematik und ihrer Grenzgebiete : B,43 (Alle Bände)
2. print, 1971
Signatur: TCK1477

Details

Autor(en) / Beteiligte
Titel
First order logic
Ist Teil von
Auflage
2. print
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1971
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 3540040994, 0387040994
OCLC-Nummer: 713922146, 713922146
Titel-ID: 990001609660106463
Format
XII, 158 S.
Systemstelle
TCK
Schlagworte
Prädikatenlogik

Lade weitere Informationen...