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 16 von 45
    Datensatz exportieren als...
  • BibTeX
An introduction to mathematical logic and type theory : to truth through proof
Computer science and applied mathematics
1. [Dr.], 1986
Signatur: TCL3571

Details

Autor(en) / Beteiligte
Titel
An introduction to mathematical logic and type theory : to truth through proof
Ist Teil von
  • Computer science and applied mathematics
Auflage
1. [Dr.]
Ort / Verlag
Orlando [u.a.] : Acad. Pr.
Erscheinungsjahr
1986
Link zu anderen Inhalten
Sprache
–
Identifikatoren
ISBN: 0120585359, 0120585367
OCLC-Nummer: 265805190, 265805190
Titel-ID: 990004476870106463
Format
XV, 304 S.
Systemstelle
TCL
Schlagworte
Mathematische Logik

Lade weitere Informationen...