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
Proof theory and intuitionistic systems
Lecture notes in mathematics : 212 (Alle Bände)
1971
Signatur: TCL1032

Details

Autor(en) / Beteiligte
Titel
Proof theory and intuitionistic systems
Ist Teil von
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1971
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 354005541X, 038705541X
OCLC-Nummer: 888966403, 888966403
Titel-ID: 990001622300106463
Format
VII, 290 S.
Systemstelle
TCL
Schlagworte
Beweistheorie, Intuitionistische Mathematik

Lade weitere Informationen...