Books listed by ISBN
>
Springer
> A.S. Ptroelstra
A.S. Ptroelstra
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
J.E. Kister · D. Van Dalen
A. P.
·
A. S.
·
S. P.
A.S. Pullin