Proof-theoretical analyses of transfinite recursion and inductive definitions
Proof-theoretical analyses of transfinite recursion and inductive definitions
Jan Terlouw
Details
OL Work ID
OL41181554W
Find this book
Open Library