01106nam a22002775i 4500991002176969707536cr nn 008mamaa121227s1973 gw | s |||| 0|eng d9783540378068b14133234-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323Metamathematical investigation of intuitionistic arithmetic and analysis[e-book] /edited by A. S. TroelstraBerlin :Springer,19731 online resource (xx, 488 p.)Lecture Notes in Mathematics,0075-8434 ;344MathematicsLogic, Symbolic and mathematicalTroelstra, A. S.Springer eBookshttp://dx.doi.org/10.1007/BFb0066739An electronic book accessible through the World Wide Web.b1413323403-03-2205-09-13991002176969707536Metamathematical investigation of intuitionistic arithmetic and analysis81460UNISALENTOle01305-09-13m@ -enggw 00