Felgner, Ulrich Philosophy of mathematics in ancient and modern times. (Philosophie der Mathematik in der Antike und in der Neuzeit.) (German) Zbl 07186600 Cham: Birkhäuser (ISBN 978-3-030-35933-1/hbk; 978-3-030-35934-8/ebook). xix, 296 p. (2020). Reviewer: Roman Murawski (Poznań) MSC: 01-01 00-01 00A30 01A20 01A45 01A50 01A55 01A60 PDF BibTeX XML Cite \textit{U. Felgner}, Philosophie der Mathematik in der Antike und in der Neuzeit. Cham: Birkhäuser (2020; Zbl 07186600) Full Text: DOI
Weiss, Christina Constructive semantics: on the necessity of an appropriate concept of schematization. (English) Zbl 07229630 Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer (ISBN 978-3-030-21312-1/hbk; 978-3-030-21315-2/pbk; 978-3-030-21313-8/ebook). Logic, Epistemology, and the Unity of Science 44, 173-193 (2019). MSC: 03A05 PDF BibTeX XML Cite \textit{C. Weiss}, Log. Epistemol. Unity Sci. 44, 173--193 (2019; Zbl 07229630) Full Text: DOI
Kolman, Vojtěch The truth of proof: a Hegelian perspective on constructivism. (English) Zbl 07229629 Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer (ISBN 978-3-030-21312-1/hbk; 978-3-030-21315-2/pbk; 978-3-030-21313-8/ebook). Logic, Epistemology, and the Unity of Science 44, 149-172 (2019). MSC: 03A05 PDF BibTeX XML Cite \textit{V. Kolman}, Log. Epistemol. Unity Sci. 44, 149--172 (2019; Zbl 07229629) Full Text: DOI
van Atten, Mark Weyl and intuitionistic infinitesimals. (English) Zbl 07217355 Bernard, Julien (ed.) et al., Weyl and the problem of space. From science to philosophy. Cham: Springer (ISBN 978-3-030-11526-5/hbk; 978-3-030-11527-2/ebook). Studies in History and Philosophy of Science (Dordrecht) 49, 125-159 (2019). MSC: 03-03 01A60 PDF BibTeX XML Cite \textit{M. van Atten}, in: Weyl and the problem of space. From science to philosophy. Cham: Springer. 125--159 (2019; Zbl 07217355) Full Text: DOI
Visser, Albert; Zoethout, Jetze Provability logic and the completeness principle. (English) Zbl 1439.03106 Ann. Pure Appl. Logic 170, No. 6, 718-753 (2019). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F50 03F55 03F30 PDF BibTeX XML Cite \textit{A. Visser} and \textit{J. Zoethout}, Ann. Pure Appl. Logic 170, No. 6, 718--753 (2019; Zbl 1439.03106) Full Text: DOI arXiv
Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu. Hintikka’s independence-friendly logic meets Nelson’s realizability. (English) Zbl 06914013 Stud. Log. 106, No. 3, 637-670 (2018). MSC: 03 PDF BibTeX XML Cite \textit{S. P. Odintsov} et al., Stud. Log. 106, No. 3, 637--670 (2018; Zbl 06914013) Full Text: DOI
Sambin, Giovanni C for constructivism. Beyond clichés. (English) Zbl 1435.03023 Lett. Mat., Int. Ed. 5, No. 2, 87-91 (2017). MSC: 03A05 03F50 03F40 PDF BibTeX XML Cite \textit{G. Sambin}, Lett. Mat., Int. Ed. 5, No. 2, 87--91 (2017; Zbl 1435.03023) Full Text: DOI
De Glas, Michel Locology and localistic logic: mathematical and epistemological aspects. (English) Zbl 1430.03050 Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 35-61 (2017). MSC: 03B60 PDF BibTeX XML Cite \textit{M. De Glas}, in: Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22--25, 2012. London: College Publications. 35--61 (2017; Zbl 1430.03050)
Stern, Julio Michael Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. (English) Zbl 1405.03021 Log. J. IGPL 25, No. 4, 604-631 (2017). MSC: 03A10 62A01 PDF BibTeX XML Cite \textit{J. M. Stern}, Log. J. IGPL 25, No. 4, 604--631 (2017; Zbl 1405.03021) Full Text: DOI
Rahman, Shahid; Redmond, Juan Dialogical harmony: tonk, constructive type theory and rules for anonymous players. (Spanish. English summary) Zbl 1388.03013 Theoria, Segunda Epoca 31, No. 1, 27-53 (2016). MSC: 03A05 03B20 03B60 PDF BibTeX XML Cite \textit{S. Rahman} and \textit{J. Redmond}, Theoria, Segunda Epoca 31, No. 1, 27--53 (2016; Zbl 1388.03013) Full Text: DOI
Bolotin, Arkady Constructibility of the universal wave function. (English) Zbl 1368.81019 Found. Phys. 46, No. 10, 1253-1268 (2016). MSC: 81P05 81P15 83F05 00A79 PDF BibTeX XML Cite \textit{A. Bolotin}, Found. Phys. 46, No. 10, 1253--1268 (2016; Zbl 1368.81019) Full Text: DOI
Logan, Shay Allen The semantics of social constructivism. (English) Zbl 1369.03055 Synthese 192, No. 8, 2577-2598 (2015). MSC: 03A05 03B44 00A30 PDF BibTeX XML Cite \textit{S. A. Logan}, Synthese 192, No. 8, 2577--2598 (2015; Zbl 1369.03055) Full Text: DOI
Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe Explicit constructive logic ECL: a new representation of construction and selection of logical information by an epistemic agent. (English) Zbl 1382.03036 Fundam. Inform. 140, No. 3-4, 357-372 (2015). MSC: 03B15 03B20 03B53 03F50 PDF BibTeX XML Cite \textit{P. Gentilini} et al., Fundam. Inform. 140, No. 3--4, 357--372 (2015; Zbl 1382.03036) Full Text: DOI
Berardi, Stefano; Steila, Silvia Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic. (English) Zbl 1359.03045 Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 64-83 (2014). MSC: 03F55 03B30 03F30 05D10 PDF BibTeX XML Cite \textit{S. Berardi} and \textit{S. Steila}, LIPIcs -- Leibniz Int. Proc. Inform. 26, 64--83 (2014; Zbl 1359.03045) Full Text: DOI
Shynkarenko, V. I.; Ilman, V. M. Constructive-synthesizing structures and their grammatical interpretations. II. Refining transformations. (English. Russian original) Zbl 1343.68129 Cybern. Syst. Anal. 50, No. 6, 829-841 (2014); translation from Kibern. Sist. Anal. 2014, No. 6, 15-28 (2014). MSC: 68Q42 PDF BibTeX XML Cite \textit{V. I. Shynkarenko} and \textit{V. M. Ilman}, Cybern. Syst. Anal. 50, No. 6, 829--841 (2014; Zbl 1343.68129); translation from Kibern. Sist. Anal. 2014, No. 6, 15--28 (2014) Full Text: DOI
van Atten, Mark; Sundholm, Göran; Bourdeau, Michel; van Atten, Vanessa “On the unreliability of the logical principles”: a new French translation of L. E. J. Brouwer’s 1908 article with annotations and commentary. (“Que les principes de la logique ne sont pas fiables” : Nouvelle traduction française annotée et commentée de l’article de 1908 de L. E. J. Brouwer.) (French. English summary) Zbl 1333.01018 Rev. Hist. Sci. 67, No. 2, 257-281 (2014). Reviewer: Teun Koetsier (Amsterdam) MSC: 01A75 00A30 03-03 03A05 PDF BibTeX XML Cite \textit{M. van Atten} et al., Rev. Hist. Sci. 67, No. 2, 257--281 (2014; Zbl 1333.01018) Full Text: DOI
Nepeĭvoda, N. N. Constructive mathematics: survey on achievements, deficiencies and lessons. III. (Russian. English summary) Zbl 1308.03061 Karpenko, A. S. (ed.), Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-197-3/hbk). 112-150 (2014). MSC: 03F65 03F55 PDF BibTeX XML Cite \textit{N. N. Nepeĭvoda}, in: Logicheskie issledovaniya. 20. Moskva: Tsentr Gumanitarnykh Initsiativ. 112--150 (2014; Zbl 1308.03061)
Shynkarenko, V. I.; Ilman, V. M. Constructive-synthesizing structures and their grammatical interpretations. I. Generalized formal constructive-synthesizing structure. (English. Russian original) Zbl 1323.68334 Cybern. Syst. Anal. 50, No. 5, 655-662 (2014); translation from Kibern. Sist. Anal. No. 5, 8-16 (2014). MSC: 68Q42 PDF BibTeX XML Cite \textit{V. I. Shynkarenko} and \textit{V. M. Ilman}, Cybern. Syst. Anal. 50, No. 5, 655--662 (2014; Zbl 1323.68334); translation from Kibern. Sist. Anal. No. 5, 8--16 (2014) Full Text: DOI
Kapsner, Andreas Logics and falsifications. A new perspective on constructivist semantics. (English) Zbl 1436.03004 Trends in Logic – Studia Logica Library 40. Cham: Springer (ISBN 978-3-319-05205-2/hbk; 978-3-319-05206-9/ebook). x, 217 p. (2014). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03-02 03B20 03B47 03B53 03B60 03A05 PDF BibTeX XML Cite \textit{A. Kapsner}, Logics and falsifications. A new perspective on constructivist semantics. Cham: Springer (2014; Zbl 1436.03004) Full Text: DOI
Xu, Gang; Liu, Haiyan; Zhang, Chaoying; Liang, Zhenyan Simulations of constructivism application based on cellular automata. (Chinese. English summary) Zbl 1313.68077 J. Guangxi Norm. Univ., Nat. Sci. 31, No. 4, 7-12 (2013). MSC: 68Q80 PDF BibTeX XML Cite \textit{G. Xu} et al., J. Guangxi Norm. Univ., Nat. Sci. 31, No. 4, 7--12 (2013; Zbl 1313.68077)
McCarty, Charles Antirealism and constructivism: Brouwer’s weak counterexamples. (English) Zbl 1277.03060 Rev. Symb. Log. 6, No. 1, 147-159 (2013). Reviewer: Sanjib Kumar Datta (Kalyani) MSC: 03F55 PDF BibTeX XML Cite \textit{C. McCarty}, Rev. Symb. Log. 6, No. 1, 147--159 (2013; Zbl 1277.03060) Full Text: DOI
Sazdanovic, Radmila Diagrammatics in art and mathematics. (English) Zbl 1351.00014 Symmetry 4, No. 2, 285-301 (2012). MSC: 00A66 PDF BibTeX XML Cite \textit{R. Sazdanovic}, Symmetry 4, No. 2, 285--301 (2012; Zbl 1351.00014) Full Text: DOI
Corrales Rodrigáñez, Capi Cubism and constructivism. (Spanish. English summary) Zbl 1300.01022 Castrillón López, Marco (ed.) et al., Contribuciones matemáticas en honor a Juan Tarrés. Madrid: Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas (ISBN 978-84-695-4421-1). 61-80 (2012). MSC: 01A60 00A66 PDF BibTeX XML Cite \textit{C. Corrales Rodrigáñez}, in: Contribuciones matemáticas en honor a Juan Tarrés. Madrid: Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas. 61--80 (2012; Zbl 1300.01022)
Katz, Karin Usadi; Katz, Mikhail G. A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography. (English) Zbl 1283.03006 Found. Sci. 17, No. 1, 51-89 (2012). MSC: 03-03 00A30 01A85 03A10 03F60 26-03 PDF BibTeX XML Cite \textit{K. U. Katz} and \textit{M. G. Katz}, Found. Sci. 17, No. 1, 51--89 (2012; Zbl 1283.03006) Full Text: DOI arXiv
Roselló, Joan From foundations to philosophy of mathematics. An historical account of their development in the XX century and beyond. (English) Zbl 1275.03008 Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-4438-3459-9/hbk). ix, 227 p. (2012). Reviewer: Roman Murawski (Poznań) MSC: 03-03 00A30 01A60 03A05 PDF BibTeX XML Cite \textit{J. Roselló}, From foundations to philosophy of mathematics. An historical account of their development in the XX century and beyond. Newcastle upon Tyne: Cambridge Scholars Publishing (2012; Zbl 1275.03008)
Nepejvoda, N. N. Constructive mathematics: survey on achievements, deficiencies and lessons. II. (Russian. English summary) Zbl 1271.03083 Karpenko, A. S. (ed.), Логические исследования. 18. Moskva: Tsentr Gumanitarnykh Initsiativ (ISBN 978-5-98712-073-6/hbk). 157-181 (2012). MSC: 03F65 01A60 03-03 PDF BibTeX XML Cite \textit{N. N. Nepejvoda}, in: Logicheskie issledovaniya. 18. Moskva: Tsentr Gumanitarnykh Initsiativ. 157--181 (2012; Zbl 1271.03083)
Ardourel, Vincent Physics in research in constructive mathematics. (La physique dans la recherche en mathématique constructives.) (French. English summary) Zbl 1270.00015 Philos. Sci., Paris 16, No. 1, 183-208 (2012). MSC: 00A35 03F65 00A79 PDF BibTeX XML Cite \textit{V. Ardourel}, Philos. Sci., Paris 16, No. 1, 183--208 (2012; Zbl 1270.00015) Full Text: DOI
Boniolo, Giovanni; Valentini, Silvio Objects: a study in Kantian formal epistemology. (English) Zbl 1276.03011 Notre Dame J. Formal Logic 53, No. 4, 457-478 (2012). Reviewer: Laura Crosilla (Leeds) MSC: 03A10 03F65 PDF BibTeX XML Cite \textit{G. Boniolo} and \textit{S. Valentini}, Notre Dame J. Formal Logic 53, No. 4, 457--478 (2012; Zbl 1276.03011) Full Text: DOI Euclid
Magidor, Ofra Strict finitism and the happy sorites. (English) Zbl 1253.03011 J. Philos. Log. 41, No. 2, 471-491 (2012). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 PDF BibTeX XML Cite \textit{O. Magidor}, J. Philos. Log. 41, No. 2, 471--491 (2012; Zbl 1253.03011) Full Text: DOI
Lubarsky, Robert S. Topological forcing semantics with settling. (English) Zbl 1251.03079 Ann. Pure Appl. Logic 163, No. 7, 820-830 (2012). MSC: 03F50 03C90 03E70 PDF BibTeX XML Cite \textit{R. S. Lubarsky}, Ann. Pure Appl. Logic 163, No. 7, 820--830 (2012; Zbl 1251.03079) Full Text: DOI arXiv
Stern, Julio Michael Symmetry, invariance and ontology in physics and statistics. (English) Zbl 1360.00084 Symmetry 3, No. 3, 611-635 (2011). MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{J. M. Stern}, Symmetry 3, No. 3, 611--635 (2011; Zbl 1360.00084) Full Text: DOI
Steiner, Mark Comment on Marcus du Sautoy’s ‘Exploring the mathematical library of Babel’. (English) Zbl 1227.00015 Polkinghorne, John (ed.), Meaning in mathematics. Oxford: Oxford University Press (ISBN 978-0-19-960505-7/pbk). 26 (2011). Reviewer: Roman Murawski (Poznań) MSC: 00A30 PDF BibTeX XML Cite \textit{M. Steiner}, in: Meaning in mathematics. Oxford: Oxford University Press. 26 (2011; Zbl 1227.00015)
Gauthier, Yvon Hilbert programme and applied proof theory. (English) Zbl 1231.03049 Log. Anal., Nouv. Sér. 54, No. 213, 49-68 (2011). Reviewer: M. Yasuhara (Princeton) MSC: 03F03 03A05 03F65 PDF BibTeX XML Cite \textit{Y. Gauthier}, Log. Anal., Nouv. Sér. 54, No. 213, 49--68 (2011; Zbl 1231.03049)
Dieterle, J. M. Social construction in the philosophy of mathematics: A critical evaluation of Julian Cole’s theory. (English) Zbl 1217.00005 Philos. Math. (3) 18, No. 3, 311-328 (2010). MSC: 00A30 PDF BibTeX XML Cite \textit{J. M. Dieterle}, Philos. Math. (3) 18, No. 3, 311--328 (2010; Zbl 1217.00005) Full Text: DOI
Ziegler, Albert Refinement is equivalent to fullness. (English) Zbl 1209.03048 Math. Log. Q. 56, No. 6, 666-669 (2010). MSC: 03F65 03E70 PDF BibTeX XML Cite \textit{A. Ziegler}, Math. Log. Q. 56, No. 6, 666--669 (2010; Zbl 1209.03048) Full Text: DOI
Hennig, Christian Mathematical models and reality: A constructivist perspective. (English) Zbl 1192.00037 Found. Sci. 15, No. 1, 29-48 (2010). MSC: 00A71 00A30 PDF BibTeX XML Cite \textit{C. Hennig}, Found. Sci. 15, No. 1, 29--48 (2010; Zbl 1192.00037) Full Text: DOI
Lauwers, Luc Ordering infinite utility streams comes at the cost of a non-Ramsey set. (English) Zbl 1197.91085 J. Math. Econ. 46, No. 1, 32-37 (2010). MSC: 91B14 PDF BibTeX XML Cite \textit{L. Lauwers}, J. Math. Econ. 46, No. 1, 32--37 (2010; Zbl 1197.91085) Full Text: DOI
Lee, Sang-Gone The use of anecdotes in teaching the introductory statistics for the prospective teachers. (English) Zbl 1192.00025 Honam Math. J. 31, No. 4, 541-558 (2009). MSC: 00A35 97U70 PDF BibTeX XML Cite \textit{S.-G. Lee}, Honam Math. J. 31, No. 4, 541--558 (2009; Zbl 1192.00025) Full Text: DOI
Coppin, Charles A.; Mahavier, W. Ted; May, E. Lee; Parker, G. Edgar The Moore method. A pathway to learner-centered instruction. (English) Zbl 1182.00010 MAA Notes 75. Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-88385-185-2/pbk). xii, 245 p. (2009). Reviewer: Steven C. Althoen (Holly) MSC: 00A35 54-01 97B40 97B70 97C70 PDF BibTeX XML Cite \textit{C. A. Coppin} et al., The Moore method. A pathway to learner-centered instruction. Washington, DC: Mathematical Association of America (MAA) (2009; Zbl 1182.00010)
Lubarsky, Robert S. Topological forcing semantics with settling. (English) Zbl 1211.03088 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 309-322 (2009). MSC: 03F50 03E70 03C90 PDF BibTeX XML Cite \textit{R. S. Lubarsky}, Lect. Notes Comput. Sci. 5407, 309--322 (2009; Zbl 1211.03088) Full Text: DOI
Xie, Mingchu The influence of philosophy of mathematics on mathematics education. (Chinese. English summary) Zbl 1175.00040 J. Guangdong Educ. Inst. 28, No. 5, 97-100 (2008). MSC: 00A35 97D20 97C50 PDF BibTeX XML Cite \textit{M. Xie}, J. Guangdong Educ. Inst. 28, No. 5, 97--100 (2008; Zbl 1175.00040)
Maslow, Sebastian; Nakamura, Ayako Constructivism and ecological thought: a critical discussion on the prospects for a ‘greening’ of IR theory. (English) Zbl 1153.92336 Interdiscip. Inf. Sci. 14, No. 2, 133-144 (2008). MSC: 92D40 91B76 91F10 PDF BibTeX XML Cite \textit{S. Maslow} and \textit{A. Nakamura}, Interdiscip. Inf. Sci. 14, No. 2, 133--144 (2008; Zbl 1153.92336) Full Text: DOI
Kramer, Martin Mathematics as adventure. (Mathematik als Abenteuer. Erleben wird zur Grundlage des Unterrichtens.) (German) Zbl 1163.00009 Köln: Aulis-Verlag Deubner (ISBN 978-3-7614-2732-3/hbk). 228 p. (2008). Reviewer: Andreas Filler (Berlin) MSC: 00A35 97A90 00A08 97A20 97D40 PDF BibTeX XML Cite \textit{M. Kramer}, Mathematik als Abenteuer. Erleben wird zur Grundlage des Unterrichtens. Köln: Aulis-Verlag Deubner (2008; Zbl 1163.00009)
Murawski, Roman; Woleński, Jan Andrzej Mostowski on the foundations and philosophy of mathematics. (English) Zbl 1179.03002 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 324-337 (2008). Reviewer: Gregor Nickel (Siegen) MSC: 03-03 01A60 03A05 00A30 PDF BibTeX XML Cite \textit{R. Murawski} and \textit{J. Woleński}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 324--337 (2008; Zbl 1179.03002)
Nolt, John Reference and perspective in intuitionistic logics. (English) Zbl 1160.03300 J. Logic Lang. Inf. 16, No. 1, 91-115 (2007). MSC: 03B20 03F55 03A05 PDF BibTeX XML Cite \textit{J. Nolt}, J. Logic Lang. Inf. 16, No. 1, 91--115 (2007; Zbl 1160.03300) Full Text: DOI
van der Schaar, Maria The assertion-candidate and the meaning of mood. (English) Zbl 1124.03312 Synthese 159, No. 1, 61-82 (2007). MSC: 03A05 03B65 PDF BibTeX XML Cite \textit{M. van der Schaar}, Synthese 159, No. 1, 61--82 (2007; Zbl 1124.03312) Full Text: DOI
Emrich, Johannes The infinite in mathematics. A regulative idea? (English) Zbl 1156.00007 Löwe, Benedikt (ed.) et al., Foundations of the formal sciences IV. The history of the concept of the formal sciences. Papers of the 4th conference, FotFS IV, Bonn, Germany, February 14–17, 2003. London: King’s College Publications (ISBN 1-904987-29-X/pbk). Studies in Logic (London) 3, 17-26 (2006). Reviewer: Teun Koetsier (Amsterdam) MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{J. Emrich}, in: Foundations of the formal sciences IV. The history of the concept of the formal sciences. Papers of the 4th conference, FotFS IV, Bonn, Germany, February 14--17, 2003. London: King's College Publications. 17--26 (2006; Zbl 1156.00007)
Bridges, Douglas S. Church’s thesis and Bishop’s constructivism. (English) Zbl 1115.03089 Olszewski, Adam (ed.) et al., Church’s thesis after 70 years. Frankfurt: Ontos Verlag (ISBN 3-938793-09-0/hbk). Ontos Mathematical Logic 1, 58-65 (2006). Reviewer: Thierry Coquand (Göteborg) MSC: 03F60 03F65 PDF BibTeX XML Cite \textit{D. S. Bridges}, Ontos Math. Log. 1, 58--65 (2006; Zbl 1115.03089)
Redecker, Christine Wittgenstein’s philosophy of mathematics. Towards a re-evaluation starting from the criticism of Cantor’s proof of the uncountability of the real numbers. (Wittgensteins Philosophie der Mathematik. Eine Neubewertung im Ausgang von der Kritik an Cantors Beweis der Überabzählbarkeit der reellen Zahlen.) (German) Zbl 1117.03001 Studien zur Logik, Sprachphilosophie und Metaphysik 9. Frankfurt am Main: Ontos Verlag (ISBN 3-938793-31-7/hbk). 366 p. EUR 98.00/hbk; EUR 22.50/e-book (2006). Reviewer: Gregor Nickel (Siegen) MSC: 03-02 03-03 03A05 00A30 01A60 PDF BibTeX XML Cite \textit{C. Redecker}, Wittgensteins Philosophie der Mathematik. Eine Neubewertung im Ausgang von der Kritik an Cantors Beweis der Überabzählbarkeit der reellen Zahlen. Frankfurt am Main: Ontos Verlag (2006; Zbl 1117.03001)
Reeves, S.; Streader, D. Constructing programs or processes. (English) Zbl 1124.68073 J. UCS 11, No. 12, 2034-2045 (2005). MSC: 68Q85 68N30 PDF BibTeX XML Cite \textit{S. Reeves} and \textit{D. Streader}, J. UCS 11, No. 12, 2034--2045 (2005; Zbl 1124.68073) Full Text: Link
Bourdeau, Michel The constructive reference theory. \(\Sigma\) types and definite descriptions. (La théorie constructive de la référence. Types \(\Sigma\) et descriptions définies.) (French) Zbl 1107.03004 Log. Anal., Nouv. Sér. 48, No. 189-192, 169-188 (2005). Reviewer: Solomon Marcus (Bucureşti) MSC: 03A05 PDF BibTeX XML Cite \textit{M. Bourdeau}, Log. Anal., Nouv. Sér. 48, No. 189--192, 169--188 (2005; Zbl 1107.03004)
Tait, William The provenance of pure reason. Essays in the philosophy of mathematics and its history. (English) Zbl 1111.00006 Logic and Computation in Philosophy. Oxford: Oxford University Press (ISBN 0-19-514192-X). x, 332 p. (2005). Reviewer: Teun Koetsier (Amsterdam) MSC: 00A30 01A05 03A05 PDF BibTeX XML Cite \textit{W. Tait}, The provenance of pure reason. Essays in the philosophy of mathematics and its history. Oxford: Oxford University Press (2005; Zbl 1111.00006)
Sepkoski, David Nominalism and constructivism in seventeenth-century mathematical philosophy. (English) Zbl 1078.01008 Hist. Math. 32, No. 1, 33-59 (2005). Reviewer: Doru Ştefănescu (Bucureşti) MSC: 01A45 00A30 03-03 PDF BibTeX XML Cite \textit{D. Sepkoski}, Hist. Math. 32, No. 1, 33--59 (2005; Zbl 1078.01008) Full Text: DOI
Edwards, Harold M. Essays in constructive mathematics. (English) Zbl 1090.11001 New York, NY: Springer (ISBN 0-387-21978-1/hbk). xx, 211 p. (2005). Reviewer: Franz Lemmermeyer (Bilkent) MSC: 11-01 12-01 14-01 PDF BibTeX XML Cite \textit{H. M. Edwards}, Essays in constructive mathematics. New York, NY: Springer (2005; Zbl 1090.11001) Full Text: DOI
Zybartas, Saulius Some aspects of changing mathematics curricula at school: an interpretative approach to teaching and learning. (Lithuanian. English summary) Zbl 1207.00041 Liet. Mat. Rink. 44, Spec. Iss., 503-508 (2004). MSC: 00A35 PDF BibTeX XML Cite \textit{S. Zybartas}, Liet. Mat. Rink. 44, 503--508 (2004; Zbl 1207.00041)
Micko, Hans Christoph On the impossibility of empirical controls of scientific theories-from the point of view of a psychologist. (English) Zbl 1137.01300 Found. Sci. 9, No. 4, 405-413 (2004). MSC: 01A05 PDF BibTeX XML Cite \textit{H. C. Micko}, Found. Sci. 9, No. 4, 405--413 (2004; Zbl 1137.01300) Full Text: DOI
Emrich, Johannes The logic of infinity. Defences of the tertium non datur in the theory of the mathematical continuum. (Die Logik des Unendlichen. Rechtfertigungsversuche des tertium non datur in der Theorie des mathematischen Kontinuums.) (German) Zbl 1077.03001 Logische Philosophie 14. Berlin: Logos Verlag; Erlangen-Nürnberg: Univ. Erlangen-Nürnberg (Dissertation 2003) (ISBN 3-8325-0747-7/pbk ). 193 p. (2004). Reviewer: Roman Murawski (Poznań) MSC: 03-02 03A05 00A30 03-03 PDF BibTeX XML Cite \textit{J. Emrich}, Die Logik des Unendlichen. Rechtfertigungsversuche des tertium non datur in der Theorie des mathematischen Kontinuums. Berlin: Logos Verlag; Erlangen-Nürnberg: Univ. Erlangen-Nürnberg (Dissertation 2003) (2004; Zbl 1077.03001)
Vickers, Steven Entailment systems for stably locally compact locales. (English) Zbl 1047.06007 Theor. Comput. Sci. 316, No. 1-3, 259-296 (2004). MSC: 06D22 54D45 03F55 03B70 54B30 PDF BibTeX XML Cite \textit{S. Vickers}, Theor. Comput. Sci. 316, No. 1--3, 259--296 (2004; Zbl 1047.06007) Full Text: DOI
Clímaco, João C. N. A critical reflection on optimal decision. (English) Zbl 1137.90539 Eur. J. Oper. Res. 153, No. 2, 506-516 (2004). MSC: 90B50 PDF BibTeX XML Cite \textit{J. C. N. Clímaco}, Eur. J. Oper. Res. 153, No. 2, 506--516 (2004; Zbl 1137.90539) Full Text: DOI
de la Torre Gómez, Andrés Socrates’ method and van Hiele’s model. (Spanish. English summary) Zbl 1256.00008 Lect. Mat. 24, No. 2, 99-121 (2003). MSC: 00A35 97C50 97D20 PDF BibTeX XML Cite \textit{A. de la Torre Gómez}, Lect. Mat. 24, No. 2, 99--121 (2003; Zbl 1256.00008) Full Text: Link
Billinge, Helen Did Bishop have a philosophy of mathematics? (English) Zbl 1049.03001 Philos. Math. (3) 11, No. 2, 176-194 (2003). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03A05 00A30 03F60 03F65 01A60 PDF BibTeX XML Cite \textit{H. Billinge}, Philos. Math. (3) 11, No. 2, 176--194 (2003; Zbl 1049.03001) Full Text: DOI
Lesh, Richard (ed.); Doerr, Helen M. (ed.) Beyond constructivism. Models and modeling perspectives on mathematics problem solving, learning, and teaching. (English) Zbl 1013.00006 Mahwah: Lawrence Erlbaum Assoc., Publishers. xii, 597 p. (2003). MSC: 00A35 97-02 PDF BibTeX XML Cite \textit{R. Lesh} (ed.) and \textit{H. M. Doerr} (ed.), Beyond constructivism. Models and modeling perspectives on mathematics problem solving, learning, and teaching. Mahwah: Lawrence Erlbaum Assoc., Publishers (2003; Zbl 1013.00006)
Sambin, Giovanni Steps toward a dynamic constructivism. (English) Zbl 1052.03005 Gärdenfors, Peter (ed.) et al., In the scope of logic, methodology and philosophy of science. Volume one of the 11th international congress of logic, methodology and philosophy of science, Cracow, Poland, August 1999. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0929-1). Synth. Libr. 315, 263-286 (2002). Reviewer: John L. Bell (London, Ontario) MSC: 03A05 03F50 00A30 PDF BibTeX XML Cite \textit{G. Sambin}, Synth. Libr. 315, 263--286 (2002; Zbl 1052.03005)
Sieg, Wilfried Toward finitist proof theory. (English) Zbl 1015.03004 Hendricks, Vincent F. (ed.) et al., Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31-November 1, 1997. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 292, 95-114 (2002). Reviewer: M.Yasuhara (Princeton) MSC: 03-03 03F03 03A05 01A60 PDF BibTeX XML Cite \textit{W. Sieg}, Synth. Libr. 292, 95--114 (2002; Zbl 1015.03004)
FitzSimons, Gail E. What counts as mathematics? Technologies of power in adult and vocational education. (English) Zbl 1026.00007 Mathematics Education Library 28. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0668-3/hbk). xii, 274 p. (2002). Reviewer: S.L.Singh (Rishikesh) MSC: 00A35 97-02 97B30 97B60 01A07 01A80 01A60 01A67 PDF BibTeX XML Cite \textit{G. E. FitzSimons}, What counts as mathematics? Technologies of power in adult and vocational education. Dordrecht: Kluwer Academic Publishers (2002; Zbl 1026.00007) Full Text: DOI
Dörfler, Willi On the fictionality of mathematical objects. (Über die Fiktionalität mathematischer Objekte.) (German) Zbl 1048.00002 Math. Semesterber. 48, No. 2, 123-138 (2002). Reviewer: Volker Peckhaus (Paderborn) MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{W. Dörfler}, Math. Semesterber. 48, No. 2, 123--138 (2002; Zbl 1048.00002) Full Text: DOI
Gurevich, Yuri Platonism, constructivism, and computer proofs vs. proofs by hand. (English) Zbl 1012.03011 Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992-2000. Singapore: World Scientific. 281-302 (2001). MSC: 03A05 00A35 03F50 00A30 01A60 PDF BibTeX XML Cite \textit{Y. Gurevich}, in: Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992--2000. Singapore: World Scientific. 281--302 (2001; Zbl 1012.03011)
Schechter, Eric Constructivism is difficult. (English) Zbl 1015.03061 Am. Math. Mon. 108, No. 1, 50-54 (2001). Reviewer: Pier Luigi Ferrari (Alessandria) MSC: 03F65 00A30 00A35 PDF BibTeX XML Cite \textit{E. Schechter}, Am. Math. Mon. 108, No. 1, 50--54 (2001; Zbl 1015.03061) Full Text: DOI
Rodych, Victor Wittgenstein’s anti-modal finitism. (English) Zbl 1026.03007 Log. Anal., Nouv. Sér. 43, No. 171-172, 249-282 (2000). Reviewer: J.Mackenzie (Sydney) MSC: 03A05 00A30 03-03 01A60 PDF BibTeX XML Cite \textit{V. Rodych}, Log. Anal., Nouv. Sér. 43, No. 171--172, 249--282 (2000; Zbl 1026.03007)
Tieszen, Richard The philosophical background of Weyl’s mathematical constructivism. (English) Zbl 0978.03004 Philos. Math. (3) 8, No. 3, 274-301 (2000). Reviewer: Victor V.Pambuccian (Phoenix) MSC: 03-03 03A05 03F55 03F65 01A60 PDF BibTeX XML Cite \textit{R. Tieszen}, Philos. Math. (3) 8, No. 3, 274--301 (2000; Zbl 0978.03004) Full Text: DOI
van Dalen, Dirk Brouwer and Fraenkel on intuitionism. (English) Zbl 0969.03002 Bull. Symb. Log. 6, No. 3, 284-310 (2000). Reviewer: Victor V.Pambuccian (Phoenix) MSC: 03-03 03F55 03A05 PDF BibTeX XML Cite \textit{D. van Dalen}, Bull. Symb. Log. 6, No. 3, 284--310 (2000; Zbl 0969.03002) Full Text: DOI Link
Peruzzi, Alberto Anterior future. (English) Zbl 0970.03012 Betti, Renato (ed.) et al., Categorical studies in Italy. Selected papers presented at the meeting “The Italian friends meet Bill Lawvere”, Perugia, Italy, May 1-3, 1997. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 64, 227-248 (2000). Reviewer: Louis F.Goble (Salem) MSC: 03A05 00A30 18A15 PDF BibTeX XML Cite \textit{A. Peruzzi}, in: Categorical studies in Italy. Selected papers presented at the meeting ``The Italian friends meet Bill Lawvere'', Perugia, Italy, May 1--3, 1997. Palermo: Circolo Matematico di Palermo. 227--248 (2000; Zbl 0970.03012)
Epstein, Richard L.; Carnielli, Walter A. Computability. Computable functions, logic, and the foundations of mathematics. With “Computability and undecidability—a timeline. The story of the development of computable functions and the undecidability of arithmetic to 1970” by Richard L. Epstein. 2nd ed. (English) Zbl 0951.03001 Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000). Reviewer: B.Boričić (Beograd) MSC: 03-01 03Dxx 00A30 00A35 03Fxx 03A05 PDF BibTeX XML Cite \textit{R. L. Epstein} and \textit{W. A. Carnielli}, Computability. Computable functions, logic, and the foundations of mathematics. With ``Computability and undecidability---a timeline. The story of the development of computable functions and the undecidability of arithmetic to 1970'' by Richard L. Epstein. 2nd ed. Belmont, CA: Wadsworth/Thomson Learning (2000; Zbl 0951.03001)
Rossi, Arcangelo Kantianism and physics from the 19th to the 20th century. (English) Zbl 0999.01010 Dalla Chiara, Maria Luisa (ed.) et al., Language, quantum, music. Papers of the 10th international congress of logic, methodology and philosophy of science, Florence, Italy, August 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 281, 293-301 (1999). Reviewer: Volker Peckhaus (Erlangen) MSC: 01A55 01A60 03A05 PDF BibTeX XML Cite \textit{A. Rossi}, Synth. Libr. 281, 293--301 (1999; Zbl 0999.01010)
Hellman, Geoffrey Mathematical constructivism in spacetime. (English) Zbl 0948.03055 Br. J. Philos. Sci. 49, No. 3, 425-450 (1998). MSC: 03F60 83C99 00A79 03B30 03A05 PDF BibTeX XML Cite \textit{G. Hellman}, Br. J. Philos. Sci. 49, No. 3, 425--450 (1998; Zbl 0948.03055) Full Text: DOI
Drago, Antonino Geometrical intuition as the master key of modern science. Cavalieri and the mathematics of Weyl. (Italian) Zbl 0958.01005 D’Amore, Bruno (ed.) et al., Conference in honor of the 65th birthday of Francesco Speranza, Bologna, Italy, October 11, 1997. Bologna: Pitagora Editrice, 40-44 (1998). Reviewer: James J.Cross (Parkville) MSC: 01A45 26-03 PDF BibTeX XML Cite \textit{A. Drago}, in: Convegno per i sessantacinque anni di Francesco Speranza. Bologna: Pitagora Editrice. 40--44 (1998; Zbl 0958.01005)
Sundholm, Göran Inference, consequence, implication: A constructivist’s perspective. (English) Zbl 0922.03008 Philos. Math. (3) 6, No. 2, 178-194 (1998). Reviewer: H.C.M.de Swart (Tilburg) MSC: 03A05 00A30 03F50 PDF BibTeX XML Cite \textit{G. Sundholm}, Philos. Math. (3) 6, No. 2, 178--194 (1998; Zbl 0922.03008) Full Text: DOI
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0897.03004 Cambridge: Cambridge University Press. xii, 288 p. (1998). MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge University Press (1998; Zbl 0897.03004)
Barabashev, A. G. Frege’s triangle and the existence of mathematical objects. (Russian. English summary) Zbl 0968.03007 Istor.-Mat. Issled., II. Ser. 2(37), 292-313, 331 (1997). Reviewer: Roger Cooke (Burlington) MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{A. G. Barabashev}, Istor.-Mat. Issled. (2) 2(37), 292--313, 331 (1997; Zbl 0968.03007)
da Silva, Jairo José Husserl’s phenomenology and Weyl’s predictivism. (English) Zbl 0927.01014 Synthese 110, No. 2, 277-296 (1997). Reviewer: V.Peckhaus (Erlangen) MSC: 01A60 00A30 PDF BibTeX XML Cite \textit{J. J. da Silva}, Synthese 110, No. 2, 277--296 (1997; Zbl 0927.01014) Full Text: DOI
Ferreirós, José Notes on types, sets and logicism, 1930–1950. (English) Zbl 0917.01023 Theoria, Segunda Epoca 12, No. 28, 91-124 (1997). Reviewer: P.K.Majumdar (Pargansas) MSC: 01A60 03-03 PDF BibTeX XML Cite \textit{J. Ferreirós}, Theoria, Segunda Epoca 12, No. 28, 91--124 (1997; Zbl 0917.01023)
Rocha, Luis Mateus Relative uncertainty and evidence sets: A constructivist framework. (English) Zbl 0882.68136 Int. J. Gen. Syst. 26, No. 1-2, 34-61 (1997). Reviewer: V.Ya.Kreinovich (El Paso) MSC: 68T30 94D05 03F65 PDF BibTeX XML Cite \textit{L. M. Rocha}, Int. J. Gen. Syst. 26, No. 1--2, 34--61 (1997; Zbl 0882.68136) Full Text: DOI
Ernest, Paul The legacy of Lakatos: Reconceptualising the philosophy of mathematics. (English) Zbl 0896.03008 Philos. Math., III. Ser. 5, No. 2, 116-134 (1997). MSC: 03A05 00A30 PDF BibTeX XML Cite \textit{P. Ernest}, Philos. Math., III. Ser. 5, No. 2, 116--134 (1997; Zbl 0896.03008) Full Text: DOI
Hellman, Geoffrey Quantum mechanical unbounded operators and constructive mathematics – a rejoinder to Bridges. (English) Zbl 0888.03038 J. Philos. Log. 26, No. 2, 121-127 (1997). MSC: 03F60 81P05 47S30 81P10 03A05 PDF BibTeX XML Cite \textit{G. Hellman}, J. Philos. Log. 26, No. 2, 121--127 (1997; Zbl 0888.03038) Full Text: DOI
Damnjanovic, Zlatan Elementary realizability. (English) Zbl 0874.03067 J. Philos. Log. 26, No. 3, 311-339 (1997). MSC: 03F30 03F65 03D20 PDF BibTeX XML Cite \textit{Z. Damnjanovic}, J. Philos. Log. 26, No. 3, 311--339 (1997; Zbl 0874.03067) Full Text: DOI
Odifreddi, Piergiorgio (ed.) Kreiseliana: about and around Georg Kreisel. (English) Zbl 0894.03002 Wellesley, MA: A K Peters. xiii, 495 p. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03-03 01A70 01A60 01-02 03-02 00B15 03A05 03F50 PDF BibTeX XML Cite \textit{P. Odifreddi} (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters (1996; Zbl 0894.03002)
Hintikka, Jaakko The principles of mathematics revisited. (English) Zbl 0869.03003 Cambridge: Cambridge Univ. Press. xii, 288 p. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03-02 00A30 03A05 03B20 PDF BibTeX XML Cite \textit{J. Hintikka}, The principles of mathematics revisited. Cambridge: Cambridge Univ. Press (1996; Zbl 0869.03003)
Frascolla, Pasquale Wittgenstein’s philosophy of mathematics. (English) Zbl 0901.03004 London: Routledge. viii, 189 p. (1994). Reviewer: V.Peckhaus (Erlangen) MSC: 03A05 00A30 03-02 00-02 PDF BibTeX XML Cite \textit{P. Frascolla}, Wittgenstein's philosophy of mathematics. London: Routledge (1994; Zbl 0901.03004)
Largeault, Jean Intuitionism. (L’intuitionisme.) (French) Zbl 0980.03001 Que Sais-Je? Paris: Presses Universitaires de France. 125 p. (1992). Reviewer: U.D’Ambrosio (São Paulo) MSC: 03-02 03A05 03F55 03-01 00A30 PDF BibTeX XML Cite \textit{J. Largeault}, L'intuitionisme. Paris: Presses Universitaires de France (1992; Zbl 0980.03001)
Janich, Peter Euclid’s heritage: is space three-dimensional? (English) Zbl 0885.00011 The University of Western Ontario Series in Philosophy of Science. 52. Dordrecht: Kluwer Academic Publishers. xi, 227 p. (1992). Reviewer: Volker Peckhaus (Erlangen) MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{P. Janich}, Euclid's heritage: is space three-dimensional?. Dordrecht: Kluwer Academic Publishers (1992; Zbl 0885.00011)
Otte, Michael Constructivism and objects of mathematical theory. (English) Zbl 0848.00007 Echeverria, Javier (ed.) et al., The space of mathematics. Philosophical, epistemological, and historical explorations. Revised papers from a symposium on structures in mathematical theories, Donostia/San Sebastian, Basque Country, Spain, September 1990. Berlin: Walter de Gruyter. Grundlagen der Kommunikation und Kognition. 296-313 (1992). Reviewer: V.Peckhaus (Erlangen) MSC: 00A30 03A05 PDF BibTeX XML Cite \textit{M. Otte}, in: The space of mathematics. Philosophical, epistemological, and historical explorations. Revised papers from a symposium on structures in mathematical theories, Donostia/San Sebastian, Basque Country, Spain, September 1990. Berlin: Walter de Gruyter. 296--313 (1992; Zbl 0848.00007)
Richman, Fred The constructive theory of countably generated Warfield modules. (English) Zbl 0771.20020 Abelian groups and noncommutative rings, Collect. Pap. in Mem. of R. B. Warfield jun., Contemp. Math. 130, 371-383 (1992). Reviewer: R.Göbel (Essen) MSC: 20K21 20K10 03F65 20K40 20K30 16S50 PDF BibTeX XML Cite \textit{F. Richman}, Contemp. Math. 130, 371--383 (1992; Zbl 0771.20020)
Otte, Michael A controversy on the axiomatization of arithmetic and its philosophical context. (English) Zbl 0921.01017 Galuzzi, Massimo (ed.), Conference on the history of mathematics. Papers from the conference, Cetraro, Italy, September 8–12, 1988. Rende: Editoria Elettronica, Semin. Conf. 7, 465-485 (1991). Reviewer: V.Peckhaus (Erlangen) MSC: 01A60 01A55 PDF BibTeX XML Cite \textit{M. Otte}, in: Giornate di storia della matematica, Cetraro, Italia, Settembre 8--12, 1988. Rende: Editoria Elettronica. 465--485 (1991; Zbl 0921.01017)
Richman, Fred Intuitionism as generalization. (English) Zbl 0716.03001 Philos. Math., II. Ser. 5, No. 1-2, 124-128 (1990). Reviewer: H.Luckhardt MSC: 03A05 03F50 PDF BibTeX XML Cite \textit{F. Richman}, Philos. Math., II. Ser. 5, No. 1--2, 124--128 (1990; Zbl 0716.03001) Full Text: DOI
Epstein, Richard L.; Carnielli, Walter A. Computability. Computable functions, logic, and the foundations of mathematics. (English) Zbl 0685.03001 Wadsworth & Brooks/Cole Mathematics Series. Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software. xvii, 297 p. (1989). Reviewer: W.Veldman MSC: 03-01 PDF BibTeX XML Cite \textit{R. L. Epstein} and \textit{W. A. Carnielli}, Computability. Computable functions, logic, and the foundations of mathematics. Pacific Grove, CA: Wadsworth \&| Brooks/Cole Advanced Books \&| Software (1989; Zbl 0685.03001)
Troelstra, A. S.; van Dalen, D. Constructivism in mathematics. An introduction. Volume II. (English) Zbl 0661.03047 Studies in Logic and the Foundations of Mathematics, 123. Amsterdam etc.: North-Holland. xvii, p. 345-879 \(+\) Appendix. $ 86.75; Dfl. 165.00 (1988). Reviewer: B.van Rootselaar MSC: 03F50 03F55 03F60 03-02 03-01 03F65 PDF BibTeX XML Cite \textit{A. S. Troelstra} and \textit{D. van Dalen}, Constructivism in mathematics. An introduction. Volume II. Amsterdam etc.: North-Holland (1988; Zbl 0661.03047)
Troelstra, A. S.; van Dalen, D. Constructivism in mathematics. An introduction. Volume I. (English) Zbl 0653.03040 Studies in Logic and the Foundations of Mathematics, 121. Amsterdam etc.: North-Holland (ISBH 0-444-70506-6). xv, 355 p. hbk: $ 86.75; Dfl. 165.00; pbk: $ 33.00; Dfl. 62.50 (1988). Reviewer: B.van Rootselaar MSC: 03F50 03F55 03F60 03F65 03-02 03-01 PDF BibTeX XML Cite \textit{A. S. Troelstra} and \textit{D. van Dalen}, Constructivism in mathematics. An introduction. Volume I. Amsterdam etc.: North-Holland (1988; Zbl 0653.03040)
Getmanova, A. D. Negation in A. A. Markov’s constructive logic. (Russian) Zbl 0724.01011 Methodological analysis of mathematical theories, Collect. Sci. Works, Moskva, 132-148 (1987). Reviewer: N.A.Soare (Bucureşti) MSC: 01A60 01A70 03-03 PDF BibTeX XML
Biryukov, B. V.; Nutsubidze, N. N. Sources of mathematical constructivism: The 19th century. (Russian) Zbl 0724.01009 Methodological analysis of mathematical theories, Collect. Sci. Works, Moskva, 119-132 (1987). Reviewer: N.A.Soare (Bucureşti) MSC: 01A55 00A30 PDF BibTeX XML
Panov, M. I. Can L. E. J. Brouwer be considered the founder of constructivist philosophy in mathematics? (Russian) Zbl 0723.01007 Methodological analysis of mathematical theories, Collect. Sci. Works, Moskva, 77-119 (1987). Reviewer: N.A.Soare (Bucureşti) MSC: 01A60 00A30 PDF BibTeX XML