Sorten, Typen und Typenfreiheit
Sorten, Typen und Typenfreiheit
1994
Klaus Robering
Details
First published
1994
OL Work ID
OL18911453W
Subjects
Type theory
Semantics (Philosophy)
Semantics
Logic, symbolic and mathematical
Find this book
Open Library