J.E. Kister

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics978-O-387-15524-1
(O-387-15524-4)
1987D. Van Dalen · A.S. Ptroelstra

"E. K." · J. E. · J.K · Jane E. Kister

J.E. Kite