Tekijä: Ernst Thoutenhoofd; Sue Archbold; Sue Gregory; Mark Lutman; Thomas Nikolopoulos; Tracey Sach Kustantaja: John Wiley & Sons Inc (2005) Saatavuus: Noin 17-20 arkipäivää
Tekijä: M Papageorgiou; O Von Stryk; Markos Papageorgiou; Marion Leibold; Martin Buss Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008) Saatavuus: Loppuunmyyty.
Tekijä: Alexander Von Humboldt; Stephen T. Jackson; Laura Dassow Walls; Mark W. Person Kustantaja: The University of Chicago Press (2014) Saatavuus: Ei tiedossa
Tekijä: Alexander Von Humboldt; Stephen T. Jackson; Laura Dassow Walls; Mark W. Person Kustantaja: The University of Chicago Press (2016) Saatavuus: Noin 17-20 arkipäivää
Tekijä: L. Iris Newbold; K. Bruce Newbold; Evelyn A. Walters; Mark G. Walters Kustantaja: Wilfrid Laurier University Press (2019) Saatavuus: Noin 15-18 arkipäivää
Birkhauser Verlag AG Sivumäärä: 422 sivua Asu: Kovakantinen kirja Painos: 2008 Julkaisuvuosi: 2008, 17.07.2008 (lisätietoa) Kieli: Englanti
Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.