˜Aœ transfinite type theory with type variables

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Andrews, Peter B. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam North-Holland Publ.Co. 1965
Schriftenreihe:Studies in logic and the foundations of mathematics.
Schlagworte:
Type theory > Transfinite Zahl > Transfinite Typentheorie
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XV,143 S.