01094nam0-22003491i-450-99000102705040332120080610110434.0000102705FED01000102705(Aleph)000102705FED0100010270520001205d1968----km-y0itay50------baengLogic and Foundations of MathematicsA.S. Troelstra ... [et al.]GroningenWolters-Noordhoff1968248 p.24 cmNoordhoff series of monographs and textbooks on pure & applied mathematicsDedicated to Prof. A Heyting on his 70th birthday. - Also published as Compositio Mathematica, Vol. 20.LogicaRicorsività160Troelstra,Anne Sjerp57222Heyting,ArendITUNINARICAUNIMARCBK9900010270504033217-0756447FI1203-A-6-DX13500MA1FI1MA1Logic and Foundations of Mathematics339403UNINA