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
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
Oxford logic guides : 36 (Alle Bände)
1998
Signatur: TAY950804

Details

Autor(en) / Beteiligte
Titel
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
Ist Teil von
Ort / Verlag
Oxford : Clarendon Pr.
Erscheinungsjahr
1998
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0198501277
OCLC-Nummer: 889865541, 889865541
Titel-ID: 990007860580106463
Format
VII, 283 S.
Systemstelle
TAY
Schlagworte
Typentheorie

Lade weitere Informationen...