00941nam0-22003131i-450-9900010715904033213-540-06491-5000107159FED01000107159(Aleph)000107159FED0100010715920000920d1973----km-y0itay50------baengMetamathematical Investigation of Intuitionistic Arithmetic and AnalysisA.S. Troelstra (Editor)Berlin [etc.]Springer-Verlag1973XVII, 485 p.25 cmLecture Notes in Mathematics344LogicaRicorsività160Troelstra,Anne Sjerp57222ITUNINARICAUNIMARCBK9900010715904033217-1499239FI1FI1Metamathematical Investigation of Intuitionistic Arithmetic and Analysis339936UNINAING01