Mehrsortige Prädikatenlogiken und Klassentheorien
By: vorgelegt von Freidemann Tuttas
Publisher: F. Tuttas
Published: 1984
Place of publication: Kiel
Language: ger
Number of pages: 130
Subjects: Symbolic and mathematical Logic; Type theory
Notes: Thesis (doctoral)--Christian-Albrechts-Universität zu Kiel, 1984.

Bibliography: p. 130.