00995nam0-22003611i-450-9900013197104033210-444-70266-0000131971FED01000131971(Aleph)000131971FED0100013197120000920d1988----km-y0itay50------baengConstructivism in Mathematicsan introductionA. S. Troelstra, D. van Dalen.AmsterdamNorth-Holland19882 v.24In 2 volumi.Matematica costruttivaTeoria della dimostrabilita511.3Troelstra,Anne Sjerp57222Dalen,Dirk van<1932- >ITUNINARICAUNIMARCBK990001319710403321121-D-388725MA1121-D-398726MA1MA103F55Constructivism in Mathematics335176UNINAING01