H.J. Keisler
Identifiers
- Open LibraryOL9512054A
Top Subjects
- Proof theory (1)
Books by H.J. Keisler
Total count: 5
-
Set TheoryAn Introduction to Large CardinalsElsevier Science & Technology Books1974-01-01
-
Large Infinitary LanguagesModel TheoryElsevier Science & Technology Books1975-01-01
-
Kleene SymposiumElsevier Science & Technology Books1980-01-01
-
Constructivism in MathematicsAn IntroductionElsevier Science & Technology Books1988-01-01
-
Algebra of ProofsElsevier Science & Technology Books2016-01-01