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 5 von 53
    Datensatz exportieren als...
  • BibTeX
Proof theory
Studies in logic and the foundations of mathematics : 81 (Alle Bände)
1975
Signatur: TCL2004

Details

Autor(en) / Beteiligte
Titel
Proof theory
Ist Teil von
Ort / Verlag
Amsterdam [u.a.] : North-Holland Publ. Co. [u.a.]
Erscheinungsjahr
1975
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0720422000, 0444104925, 0720422779
OCLC-Nummer: 602353211, 602353211
Titel-ID: 990002022350106463
Format
VII, 372 S.
Systemstelle
TCL
Schlagworte
Beweistheorie, Mathematik, Mathematische Logik

Lade weitere Informationen...