Constructive Analysisby E. Bishop, Douglas BridgesMathematical analysisFunctional analysisMathematicsSymbolic and mathematical LogicMathematical Logic and FoundationsWriting a summary for young readers…For young readersBook data: Open Library