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 3950
    Datensatz exportieren als...
  • BibTeX
Intensional mathematics
Studies in logic and the foundations of mathematics : 113 (Alle Bände)
1985
Signatur: TCL3351

Details

Autor(en) / Beteiligte
Titel
Intensional mathematics
Ist Teil von
Ort / Verlag
Amsterdam [u.a.] : North-Holland
Erscheinungsjahr
1985
Sprache
–
Identifikatoren
ISBN: 0444876324
OCLC-Nummer: 230656902, 230656902
Titel-ID: 990019549580106463
Format
V, 230 S.
Systemstelle
TCL
Schlagworte
Intuitionistische Mathematik, Konstruktive Mathematik, Intensionale Logik, Mathematik

Lade weitere Informationen...