Mathematical investigation of intuitionistic arithmetic and analysis
TROELSTRA, A.S
Mathematical investigation of intuitionistic arithmetic and analysis - Berlin 1974 - 485p - Lecture notes in mathematics,v.344 .
MATHEMATICS
ARITHMETIC MATHEMATICS
510.08 T79M
Mathematical investigation of intuitionistic arithmetic and analysis - Berlin 1974 - 485p - Lecture notes in mathematics,v.344 .
MATHEMATICS
ARITHMETIC MATHEMATICS
510.08 T79M