Books listed by ISBN
>
Springer
> J.E. Kister
J.E. Kister
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics
978-O-387-15524-1
(O-387-15524-4)
1987
D. Van Dalen · A.S. Ptroelstra
"E. K."
·
J. E.
·
J.K
·
Jane E. Kister
J.E. Kite