Matheson Library

Empowering Knowledge, Inspiring Discovery

Welcome to the Matheson Library

Explore our vast collection of resources.

Learn and Grow

Your journey to knowledge starts here.

Connect with Us

Join the Matlis community for lifelong learning.

Discover New Worlds

Books that inspire and empower.

Digital Resources

Access journals, articles, and more.

Collaborate and Innovate

Spaces designed for teamwork.

Events and Workshops

Learn from experts and peers.

History and Heritage

Preserving stories and memories.

Our Mission

Empowering education for all.

Future Ready

Building knowledge for tomorrow.

Normal view MARC view ISBD view

Constructivism in mathematics: an introduction /

Troelstra, A. S.

Constructivism in mathematics: an introduction / A.S. Troelstra and D. van Dalen. - Amsterdam : North-Holland, 1988. - v. : ill. - Studies in logic and the foundations of mathematics ; v.123 . - Studies in logic and the foundations of mathematics ; v. 121, etc. .

ISBN:

LCCN: 88900915

Subjects--Topical Terms:
Constructive mathematics.