Anglès d’Auriac, Paul-Elliot; Cholak, Peter A.; Dzhafarov, Damir D.; Monin, Benoît; Patey, Ludovic Milliken’s tree theorem and its applications: a computability-theoretic perspective. (English) Zbl 07807559 Memoirs of the American Mathematical Society 1457. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6731-9/pbk; 978-1-4704-7714-1/ebook). vi, 118 p. (2024). Reviewer: Ioan Tomescu (Bucureşti) MSC: 05-02 05D10 03D80 03E05 05C55 05D05 03E75 PDFBibTeX XMLCite \textit{P.-E. Anglès d'Auriac} et al., Milliken's tree theorem and its applications: a computability-theoretic perspective. Providence, RI: American Mathematical Society (AMS) (2024; Zbl 07807559) Full Text: DOI arXiv
Krause, Décio Axiomatic foundations of the scientific disciplines. (Fundamentos axiomáticos das disciplinas científicas.) (Portuguese) Zbl 1522.03003 Cadernos de Lógica e Filosofia 3. London: College Publications (ISBN 978-1-84890-417-0). xx, 346 p. (2022). MSC: 03-02 03B30 81P05 81P10 PDFBibTeX XMLCite \textit{D. Krause}, Fundamentos axiomáticos das disciplinas científicas (Portuguese). London: College Publications (2022; Zbl 1522.03003)
Monin, Benoît; Patey, Ludovic Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001 Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022). Reviewer: Jeffry L. Hirst (Boone) MSC: 03-01 68-01 03Dxx 03B10 03C07 03B30 03F35 03F40 03D80 68Q04 68Q30 PDFBibTeX XMLCite \textit{B. Monin} and \textit{L. Patey}, Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité. Paris: Calvage et Mounet (2022; Zbl 1516.03001)
Dzhafarov, Damir D.; Mummert, Carl Reverse mathematics. Problems, reductions, and proofs. (English) Zbl 07571046 Theory and Applications of Computability. Cham: Springer (ISBN 978-3-031-11366-6/hbk; 978-3-031-11369-7/pbk; 978-3-031-11367-3/ebook). xix, 488 p. (2022). MSC: 03-01 03B30 PDFBibTeX XMLCite \textit{D. D. Dzhafarov} and \textit{C. Mummert}, Reverse mathematics. Problems, reductions, and proofs. Cham: Springer (2022; Zbl 07571046) Full Text: DOI
Marchisotto, Elena Anne Corie; Rodríguez-Consuegra, Francisco; Smith, James T. The legacy of Mario Pieri in foundations and philosophy of mathematics. (English) Zbl 1464.00008 New York, NY: Birkhäuser/Springer (ISBN 978-0-8176-4822-0/hbk; 978-0-8176-4823-7/ebook). xxii, 603 p. (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 00A30 01A70 01A55 01A60 03A05 03B30 03-03 51-03 PDFBibTeX XMLCite \textit{E. A. C. Marchisotto} et al., The legacy of Mario Pieri in foundations and philosophy of mathematics. New York, NY: Birkhäuser/Springer (2021; Zbl 1464.00008) Full Text: DOI
Huber, Franz A logical introduction to probability and induction. (English) Zbl 1461.60001 New York, NY: Oxford University Press (ISBN 978-0-19-084539-1/hbk; 978-0-19-084538-4/pbk). xiii, 287 p. (2019). Reviewer: Victor V. Pambuccian (Glendale) MSC: 60-01 03-01 60A05 03B30 PDFBibTeX XMLCite \textit{F. Huber}, A logical introduction to probability and induction. New York, NY: Oxford University Press (2019; Zbl 1461.60001)
Stillwell, John Reverse mathematics. Proofs from the inside out. (English) Zbl 1386.00059 Princeton, NJ: Princeton University Press (ISBN 978-0-691-17717-5/hbk; 978-1-4008-8903-7/ebook). xiii, 182 p. (2018). Reviewer: Roman Murawski (Poznań) MSC: 00A30 03A05 03-03 26-03 01A05 PDFBibTeX XMLCite \textit{J. Stillwell}, Reverse mathematics. Proofs from the inside out. Princeton, NJ: Princeton University Press (2018; Zbl 1386.00059)
Krause, Décio; Arenhart, Jonas R. B. The logical foundations of scientific theories. Languages, structures, and models. (English) Zbl 1412.03002 Routledge Studies in the Philosophy of Mathematics and Physics 1. London: Routledge (ISBN 978-1-138-68449-2/hbk; 978-1-315-53520-3/ebook). xv, 143 p. (2017). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03B30 00A30 PDFBibTeX XMLCite \textit{D. Krause} and \textit{J. R. B. Arenhart}, The logical foundations of scientific theories. Languages, structures, and models. London: Routledge (2017; Zbl 1412.03002) Full Text: Link
Hirschfeldt, Denis R.; Lange, Karen; Shore, Richard A. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem. (English) Zbl 1406.03039 Mem. Am. Math. Soc. 1187, vi, 106 p. (2017). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03C07 03C15 03C50 03C57 03D45 03F30 03F35 PDFBibTeX XMLCite \textit{D. R. Hirschfeldt} et al., Induction, bounding, weak combinatorial principles, and the homogeneous model theorem. Providence, RI: American Mathematical Society (AMS) (2017; Zbl 1406.03039) Full Text: DOI Link
Neuenschwander, Dwight E. Emmy Noether’s wonderful theorem. 2nd revised and updated edition. (English) Zbl 1366.00009 Baltimore, MD: Johns Hopkins University Press (ISBN 978-1-4214-2267-1/pbk; 978-1-4214-2268-8/ebook). xvi, 321 p. (2017). Reviewer: Thomas Sonar (Braunschweig) MSC: 00A09 00A79 01A60 37J15 49S05 58E30 70H33 70S10 PDFBibTeX XMLCite \textit{D. E. Neuenschwander}, Emmy Noether's wonderful theorem. 2nd revised and updated edition. Baltimore, MD: Johns Hopkins University Press (2017; Zbl 1366.00009)
Day, Adam (ed.); Fellows, Michael (ed.); Greenberg, Noam (ed.); Khoussainov, Bakhadyr (ed.); Melnikov, Alexander (ed.); Rosamond, Frances (ed.) Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. (English) Zbl 1352.03004 Lecture Notes in Computer Science 10010. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). xlii, 755 p. (2017). MSC: 03-06 01A70 03B30 03C57 03Dxx 68Q05 68Q15 68Q25 00B30 PDFBibTeX XMLCite \textit{A. Day} (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (2017; Zbl 1352.03004) Full Text: DOI
Xu, Jiuping; Li, Zongmin; Tao, Zhimiao Random-like bi-level decision making. (English) Zbl 1353.90004 Lecture Notes in Economics and Mathematical Systems 688. Singapore: Springer (ISBN 978-981-10-1767-4/pbk; 978-981-10-1768-1/ebook). xi, 401 p. (2016). Reviewer: Krzysztof Piasecki (Poznań) MSC: 90-02 90B50 60K37 03B30 03E02 PDFBibTeX XMLCite \textit{J. Xu} et al., Random-like bi-level decision making. Singapore: Springer (2016; Zbl 1353.90004) Full Text: DOI
Kahle, Reinhard (ed.); Strahm, Thomas (ed.); Studer, Thomas (ed.) Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. (English) Zbl 1344.03002 Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016). MSC: 03-06 03Fxx 03B20 03B30 03B35 68T15 00B25 00B30 PDFBibTeX XMLCite \textit{R. Kahle} (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013. Basel: Birkhäuser/Springer (2016; Zbl 1344.03002) Full Text: DOI
Alscher, Daniel Theories of real numbers and interpretability. (Theorien der reellen Zahlen und Interpretierbarkeit.) (German) Zbl 1425.03002 Logos 25. Berlin: De Gruyter (ISBN 978-3-11-045856-5/hbk; 978-3-11-045919-7/ebook). viii, 266 p. (2016). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-02 03B30 03C40 03C62 03A05 PDFBibTeX XMLCite \textit{D. Alscher}, Theorien der reellen Zahlen und Interpretierbarkeit. Berlin: De Gruyter (2016; Zbl 1425.03002) Full Text: DOI
Abeles, Francine F. (ed.); Fuller, Mark E. (ed.) Modern logic 1850–1950, East and West. (English) Zbl 1346.03002 Studies in Universal Logic. Basel: Birkhäuser/Springer (ISBN 978-3-319-24754-0/pbk; 978-3-319-24756-4/ebook). xiii, 258 p. (2016). MSC: 03-03 03B30 01A50 03-06 00B15 PDFBibTeX XMLCite \textit{F. F. Abeles} (ed.) and \textit{M. E. Fuller} (ed.), Modern logic 1850--1950, East and West. Basel: Birkhäuser/Springer (2016; Zbl 1346.03002) Full Text: DOI
Yang, Syraya Chin-Mu (ed.); Deng, Duen-Min (ed.); Lin, Hanti (ed.) Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. (English) Zbl 1331.03012 Logic in Asia: Studia Logica Library. Berlin: Springer (ISBN 978-3-662-48356-5/hbk; 978-3-662-48357-2/ebook). xv, 278 p. (2016). MSC: 03-06 03B45 03B30 03F05 00B25 PDFBibTeX XMLCite \textit{S. C. M. Yang} (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24--25, 2014. Berlin: Springer (2016; Zbl 1331.03012) Full Text: DOI
Ghosh, Sujata (ed.); Szymanik, Jakub (ed.) The facts matter. Essays on logic and cognition in honour of Rineke Verbrugge. (English) Zbl 1346.03007 Tributes 25. London: College Publications (ISBN 978-1-84890-173-5/pbk). 169 p. (2015). MSC: 03-06 03B70 03B30 03B45 00B30 PDFBibTeX XMLCite \textit{S. Ghosh} (ed.) and \textit{J. Szymanik} (ed.), The facts matter. Essays on logic and cognition in honour of Rineke Verbrugge. London: College Publications (2015; Zbl 1346.03007)
Bender, Helmut The natural basics of mathematics: in the spirit of Dedekind, Zermelo and Wittenberg. (Die natürlichen Grundlagen der Mathematik: im Geiste Dedekinds, Zermelos und Wittenbergs.) (German) Zbl 1402.03003 Berlin: Logos Verlag (ISBN 978-3-8325-4072-2/pbk). 90 p. (2015). Reviewer: Victor V. Pambuccian (Yerevan) MSC: 03-02 03-03 03A05 00A30 03B30 03E30 01A55 01A60 PDFBibTeX XMLCite \textit{H. Bender}, Die natürlichen Grundlagen der Mathematik: im Geiste Dedekinds, Zermelos und Wittenbergs. Berlin: Logos Verlag (2015; Zbl 1402.03003)
Hirschfeldt, Denis R. Chong, Chitat (ed.); Feng, Qi (ed.); Slaman, Theodore A. (ed.); Woodin, W. Hugh (ed.); Yang, Yue (ed.) Slicing the truth. On the computable and reverse mathematics of combinatorial principles. (English) Zbl 1304.03001 Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 28. Hackensack, NJ: World Scientific (ISBN 978-981-4612-61-6/hbk; 978-981-4612-63-0/ebook). xv, 214 p. (2014). Reviewer: Jeffry L. Hirst (Boone) MSC: 03-02 03B30 03F35 03D30 03D80 03E05 05D10 PDFBibTeX XMLCite \textit{D. R. Hirschfeldt} et al., Slicing the truth. On the computable and reverse mathematics of combinatorial principles. Hackensack, NJ: World Scientific (2014; Zbl 1304.03001) Full Text: DOI
Tennant, Neil (ed.) Foundational adventures. Essays in honour of Harvey M. Friedman. (English) Zbl 1297.03008 Tributes 22. London: College Publications (ISBN 978-1-84890-117-9/pbk). 305 p. (2014). MSC: 03-06 00B30 03A05 03B30 03B42 03B45 03D15 PDFBibTeX XMLCite \textit{N. Tennant} (ed.), Foundational adventures. Essays in honour of Harvey M. Friedman. London: College Publications (2014; Zbl 1297.03008)
Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.) Effective mathematics of the uncountable. (English) Zbl 1297.03006 Lecture Notes in Logic 41. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). viii, 197 p. (2013). MSC: 03-06 03B30 03C57 03Dxx 03E15 00B25 PDFBibTeX XMLCite \textit{N. Greenberg} (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2013; Zbl 1297.03006) Full Text: DOI
Tao, Terence Compactness and contradiction. (English) Zbl 1276.00007 Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9492-7/pbk). xii, 256 p. (2013). Reviewer: Carsten Michels (Oldenburg) MSC: 00A05 00B15 03B30 20A99 26B99 26E35 35A99 PDFBibTeX XMLCite \textit{T. Tao}, Compactness and contradiction. Providence, RI: American Mathematical Society (AMS) (2013; Zbl 1276.00007)
Hilbert, David Ewald, William (ed.); Sieg, Wilfried (ed.); Hallett, Michael (ed.); Majer, Ulrich (ed.); Schlimm, Dirk (ed.) David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. (English) Zbl 1275.03002 David Hilbert’s Lectures on the Foundations of Mathematics and Physics 1891–1933 3. Berlin: Springer (ISBN 978-3-540-20578-4/hbk; 978-3-540-69444-1/ebook). xxv, 1062 p. (2013). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03-03 01A60 01A75 03B30 03F03 03F30 PDFBibTeX XMLCite \textit{D. Hilbert} et al., David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933. In collaboration with Ulrich Majer and Dirk Schlimm. Berlin: Springer (2013; Zbl 1275.03002) Full Text: DOI
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 PDFBibTeX XMLCite \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)
Kreuzer, Alexander P. Proof mining and combinatorics. Program extraction for Ramsey’s theorem for pairs. (English) Zbl 1262.03003 Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 147 p. (2012). Reviewer: Laurenţiu Leuştean (Bucureşti) MSC: 03-02 03B30 03D80 03F10 03F35 03F60 05D10 PDFBibTeX XMLCite \textit{A. P. Kreuzer}, Proof mining and combinatorics. Program extraction for Ramsey's theorem for pairs. Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (2012; Zbl 1262.03003) Full Text: Link
Wang, Liuping (ed.); Garnier, Hugues (ed.) System identification, environmental modelling, and control system design. (English) Zbl 1250.93006 London: Springer (ISBN 978-0-85729-973-4/hbk; 978-0-85729-974-1/ebook). xxvii, 645 p. (2012). MSC: 93-06 00B15 00B30 03B30 93B51 93C95 PDFBibTeX XMLCite \textit{L. Wang} (ed.) and \textit{H. Garnier} (ed.), System identification, environmental modelling, and control system design. London: Springer (2012; Zbl 1250.93006) Full Text: DOI
Hilbert, David; Bernays, Paul Gabbay, Dov (ed.); Gabbay, Michael (ed.); Siekmann, Jörg (ed.); Wirth, Claus-Peter (ed.); Sieg, Wilfried (ed.) Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. (German, English) Zbl 1283.03005 London: College Publications (ISBN 978-1-84890-033-2). lxiii, 170 p. (2011). MSC: 03-03 03-02 01A75 03B30 03Fxx PDFBibTeX XMLCite \textit{D. Hilbert} et al., Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and \S\S1--2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter ``Hilbert's proof theory'' by Wilfried Sieg. Dual English-German text. London: College Publications (2011; Zbl 1283.03005)
Gaspar, Jaime Proof interpretations. Theoretical and practical aspects. (English) Zbl 1246.03004 Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 261 p. (2011). Reviewer: Reinhard Kahle (Lisboa) MSC: 03-02 03B30 03F03 03F10 03F25 03F35 PDFBibTeX XMLCite \textit{J. Gaspar}, Proof interpretations. Theoretical and practical aspects. Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (2011; Zbl 1246.03004)
Schwabhäuser, Wolfram; Szmielew, Wanda; Tarski, Alfred [Beeson, Michael] Metamathematical methods in geometry. Part I: An axiomatic building of Euclidean geometries. Part II: Metamathematical considerations. With a new foreword by Michael Beeson. Reprint of the 1983 original published by Springer. (Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen.) (German) Zbl 1237.51003 Bronx, NY: Ishi Press International (ISBN 978-4-87187-707-7/pbk). xvi, viii, 482 p. (2011). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 51-02 03B30 51-01 51A25 51M05 51M10 03-02 03C65 03-01 51G05 PDFBibTeX XMLCite \textit{W. Schwabhäuser} et al., Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen. Reprint of the 1983 original published by Springer. Bronx, NY: Ishi Press International (2011; Zbl 1237.51003)
Negri, Sara; von Plato, Jan Proof analysis. A contribution to Hilbert’s last problem. (English) Zbl 1247.03001 Cambridge: Cambridge University Press (ISBN 978-1-107-00895-3/hbk; 978-1-107-41723-6/pbk; 978-1-139-00351-3/ebook). xi, 265 p. (2011). Reviewer: M. Yasuhara (Princeton) MSC: 03-02 03F03 03F07 03D40 03B30 PDFBibTeX XMLCite \textit{S. Negri} and \textit{J. von Plato}, Proof analysis. A contribution to Hilbert's last problem. Cambridge: Cambridge University Press (2011; Zbl 1247.03001) Full Text: DOI
Neuenschwander, Dwight E. Emmy Noether’s wonderful theorem. (English) Zbl 1239.00018 Baltimore, MD: Johns Hopkins University Press (ISBN 978-0-8018-9693-4/hbk; 978-0-8018-9694-1/pbk). xviii, 243 p. (2011). Reviewer: Thomas Sonar (Braunschweig) MSC: 00A09 00A79 01A60 37J15 49S05 58E30 70H33 70S10 PDFBibTeX XMLCite \textit{D. E. Neuenschwander}, Emmy Noether's wonderful theorem. Baltimore, MD: Johns Hopkins University Press (2011; Zbl 1239.00018)
DeVidi, David (ed.); Hallett, Michael (ed.); Clark, Peter (ed.) Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. (English) Zbl 1213.00060 The Western Ontario Series in Philosophy of Science 75. Berlin: Springer (ISBN 978-94-007-0213-4/hbk; 978-94-007-0214-1/ebook). xviii, 486 p. (2011). MSC: 00B15 00A30 00B30 03A05 03B30 PDFBibTeX XMLCite \textit{D. DeVidi} (ed.) et al., Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Berlin: Springer (2011; Zbl 1213.00060) Full Text: DOI
Sommaruga, Giovanni (ed.) Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on “Foundational theories of mathematics”, Freiburg, Switzerland, October 11–12, 2006. (English) Zbl 1213.03004 The Western Ontario Series in Philosophy of Science 76. Berlin: Springer (ISBN 978-94-007-0430-5/hbk; 978-94-007-0431-2/ebook). xi, 314 p. (2011). MSC: 03-06 00A30 03A05 03B30 18A15 PDFBibTeX XMLCite \textit{G. Sommaruga} (ed.), Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on ``Foundational theories of mathematics'', Freiburg, Switzerland, October 11--12, 2006. Berlin: Springer (2011; Zbl 1213.03004) Full Text: DOI
Gunderson, David S. Handbook of mathematical induction. Theory and applications. (English) Zbl 1242.00005 Discrete Mathematics and Its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4200-9364-3/hbk; 978-1-138-19901-9/pbk). xxiv, 893 p. (2011). Reviewer: Franz Lemmermeyer (Jagstzell) MSC: 00A05 00A07 03-01 05-01 11-01 03B30 PDFBibTeX XMLCite \textit{D. S. Gunderson}, Handbook of mathematical induction. Theory and applications. Boca Raton, FL: CRC Press (2011; Zbl 1242.00005)
Simpson, Stephen G. Subsystems of second order arithmetic. Paperback reprint of the 2nd ed. 2009. (English) Zbl 1205.03002 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-15014-9/pbk). xvi, 444 p. (2010). MSC: 03-02 03B30 03F35 03C62 PDFBibTeX XMLCite \textit{S. G. Simpson}, Subsystems of second order arithmetic. Paperback reprint of the 2nd ed. 2009. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2010; Zbl 1205.03002)
Cook, Stephen; Nguyen, Phuong Logical foundations of proof complexity. (English) Zbl 1206.03051 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-51729-4/hbk). xv, 479 p. (2010). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 03F30 68Q15 03-01 03-02 PDFBibTeX XMLCite \textit{S. Cook} and \textit{P. Nguyen}, Logical foundations of proof complexity. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2010; Zbl 1206.03051)
Simpson, Stephen G. Subsystems of second order arithmetic. 2nd ed. (English) Zbl 1181.03001 Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88439-6/hbk). xvi, 444 p. (2009). Reviewer: Jeffry L. Hirst (Boone) MSC: 03-02 03B30 03F35 03C62 PDFBibTeX XMLCite \textit{S. G. Simpson}, Subsystems of second order arithmetic. 2nd ed. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2009; Zbl 1181.03001)
Yokoyama, Keita Standard and non-standard analysis in second order arithmetic. (English) Zbl 1178.03076 Tohoku Mathematical Publications 34. Sendai: Tohoku University, Mathematical Institute (Diss.). iv, 130 p. (2009). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03-02 03H05 03H15 11U10 26E35 30G06 PDFBibTeX XMLCite \textit{K. Yokoyama}, Standard and non-standard analysis in second order arithmetic. Sendai: Tohoku University, Mathematical Institute (Diss.) (2009; Zbl 1178.03076) Full Text: Link
Tkachenko, V. N. Mathematical modeling, identification and control of processes of thermal processing of materials. (Математическое моделирование, Идентификация и управление технологическими процессами тепловой обработки материалов.) (Russian) Zbl 1240.93004 Zadachi i Metody. Matematika, Mekhanika, Kibernetika 13. Kyïv: Naukova Dumka (ISBN 978-966-00-1025-7). 244 p. (2008). Reviewer: Sergei V. Sapunov (Donetsk) MSC: 93-02 03B30 93E12 93C83 93C20 93E20 80A20 80A22 93E24 PDFBibTeX XMLCite \textit{V. N. Tkachenko}, Математическое моделирование, Идентификация и управление технологическими процессами тепловой обработки материалов (Russian). Kyïv: Naukova Dumka (2008; Zbl 1240.93004)
Hendricks, Vincent F. (ed.); Leitgeb, Hannes (ed.) Philosophy of mathematics. 5 questions. (English) Zbl 1277.03002 Copenhagen: Automatic Press (ISBN 87-991013-5-1/pbk). iv, 342 p. (2008). Reviewer: Giuseppina Ronzitti (Lille) MSC: 03-06 00A30 03A05 03A10 03B30 PDFBibTeX XMLCite \textit{V. F. Hendricks} (ed.) and \textit{H. Leitgeb} (ed.), Philosophy of mathematics. 5 questions. Copenhagen: Automatic Press (2008; Zbl 1277.03002)
Kohlenbach, Ulrich Applied proof theory. Proof interpretations and their use in mathematics. (English) Zbl 1158.03002 Springer Monographs in Mathematics. Berlin: Springer (ISBN 978-3-540-77532-4/hbk). xix, 532 p. (2008). Reviewer: Reinhard Kahle (Coimbra) MSC: 03-02 03F03 03F10 03B30 41A10 41A52 47H09 47H10 PDFBibTeX XMLCite \textit{U. Kohlenbach}, Applied proof theory. Proof interpretations and their use in mathematics. Berlin: Springer (2008; Zbl 1158.03002) Full Text: DOI
Lolli, Gabriele Guide to set theory. (Guida alla teoria degli insiemi.) (Italian) Zbl 1158.03001 Convergenze. Berlin: Springer (ISBN 978-88-470-0768-0/pbk). ix, 148 p. (2008). Reviewer: Jörg D. Brendle (Kobe) MSC: 03-01 03B30 03E30 PDFBibTeX XMLCite \textit{G. Lolli}, Guida alla teoria degli insiemi (Italian). Berlin: Springer (2008; Zbl 1158.03001)
Kahle, Reinhard The applicative realm. (English) Zbl 1140.03038 Textos de Matemática. Série B 40. Coimbra: Universidade de Coimbra, Departamento de Matemática (ISBN 978-972-8564-44-5/pbk). x, 175 p. (2007). Reviewer: Thomas Studer (Bern) MSC: 03F25 03-02 03B30 03F50 PDFBibTeX XMLCite \textit{R. Kahle}, The applicative realm. Coimbra: Universidade de Coimbra, Departamento de Matemática (2007; Zbl 1140.03038)
Heinatsch, Christoph \(\Pi\frac12\)-comprehension and the property of Ramsey. (English) Zbl 1140.03039 Münster: Univ. Münster, Fachbereich Mathematik und Informatik (Dissertation). iv, 88 p. (2007). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03F25 03-02 PDFBibTeX XMLCite \textit{C. Heinatsch}, \(\Pi\frac12\)-comprehension and the property of Ramsey. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (Dissertation) (2007; Zbl 1140.03039)
Kosmann-Schwarzbach, Yvette [Noether, Emmy; Meersseman, Laurent] Noether’s theorems. Invariance and conservation laws in the twentieth century. With a translation of the original article “Invariante Variationsprobleme”. With the collaboration of Laurent Meersseman. 2nd ed. (Les théorèmes de Noether. Invariance et lois de conservation au XXème siècle.) (French) Zbl 1128.01024 Histoire des Mathématiques (Palaiseau). Palaiseau: Les Éditions de l’École Polytechnique (ISBN 2-7302-1138-1/pbk). xii, 201 p. (2006). Reviewer: Teodora-Liliana Rădulescu (Craiova) MSC: 01A60 49-03 01-02 01A75 37J15 49K10 70-03 70H33 PDFBibTeX XMLCite \textit{Y. Kosmann-Schwarzbach}, Les théorèmes de Noether. Invariance et lois de conservation au XXème siècle. 2nd ed. Palaiseau: Les Éditions de l'École Polytechnique (2006; Zbl 1128.01024)
Corry, Leo Modern algebra and the rise of mathematical structures. 2nd revised ed. (English) Zbl 1044.01008 Basel: Birkhäuser (ISBN 3-7643-7002-5/pbk). 451 p. (2004). Reviewer: Werner Kleinert (Berlin) MSC: 01A60 01-02 00A30 03B30 06-03 08-03 PDFBibTeX XMLCite \textit{L. Corry}, Modern algebra and the rise of mathematical structures. 2nd revised ed. Basel: Birkhäuser (2004; Zbl 1044.01008)
Forster, Thomas Reasoning about theoretical entities. (English) Zbl 1047.03001 Advances in Logic 3. River Edge, NJ: World Scientific (ISBN 981-238-567-3/hbk). iv, 93 p. (2003). Reviewer: Elliott Mendelson (MR2017250) MSC: 03-02 03B30 03E99 03A05 PDFBibTeX XMLCite \textit{T. Forster}, Reasoning about theoretical entities. River Edge, NJ: World Scientific (2003; Zbl 1047.03001)
Ridder, Lothar Mereology. A contribution to ontology and epistemology. (Mereologie. Ein Beitrag zur Ontologie und Erkenntnistheorie.) (German) Zbl 1010.03002 Philosophische Abhandlungen. 83. Frankfurt am Main: Vittorio Klostermann. xii, 513 p. (2002). Reviewer: Jānis Cīrulis (Riga) MSC: 03-02 03A05 00A30 01A60 03-03 03B30 03B60 PDFBibTeX XMLCite \textit{L. Ridder}, Mereologie. Ein Beitrag zur Ontologie und Erkenntnistheorie. Frankfurt am Main: Vittorio Klostermann (2002; Zbl 1010.03002)
Huang, Cheng-Gui Dramatic mathematics—standard infinitesimal calculus. With a foreword by Jian-xiang Lin. With a biography of the author and a postscript by Mosiang Liao. (English) Zbl 1197.26048 Hong Kong: World Technology Press (ISBN 962-8707-62-0). 374 p. (2002). MSC: 26E35 03B30 PDFBibTeX XMLCite \textit{C.-G. Huang}, Dramatic mathematics---standard infinitesimal calculus. With a foreword by Jian-xiang Lin. With a biography of the author and a postscript by Mosiang Liao. Hong Kong: World Technology Press (2002; Zbl 1197.26048)
Suppes, Patrick Representation and invariance of scientific structures. (English) Zbl 1007.03003 CSLI Lecture Notes 130. Stanford, CA: CSLI Publications (ISBN 1-57586-333-2/hbk). xv, 536 p. (2002). Reviewer: Solomon Marcus (Bucureşti) MSC: 03-02 03A05 03B30 03B48 60A99 68T05 68T40 68T50 68Q42 68Q45 81P05 91F20 91Dxx 91Exx PDFBibTeX XMLCite \textit{P. Suppes}, Representation and invariance of scientific structures. Stanford, CA: CSLI Publications (2002; Zbl 1007.03003)
Kamps, Jacob A logical approach to computational theory building with applications to sociology. (English) Zbl 0995.03513 Amsterdam: Univ. Amsterdam, xviii, 195 p. (2000). MSC: 03B80 91D10 03B30 68T99 90B70 PDFBibTeX XMLCite \textit{J. Kamps}, A logical approach to computational theory building with applications to sociology. Amsterdam: Univ. Amsterdam (2000; Zbl 0995.03513)
Yamazaki, Takeshi Model-theoretic studies on subsystems of second order arithmetic. (English) Zbl 0964.03059 Tohoku Mathematical Publications. 17. Sendai: Tohoku University (Thesis), iii, 63 p. (2000). Reviewer: Jeffry L.Hirst (Boone) MSC: 03F35 03C62 03H15 PDFBibTeX XMLCite \textit{T. Yamazaki}, Model-theoretic studies on subsystems of second order arithmetic. Sendai: Tohoku University (Thesis) (2000; Zbl 0964.03059) Full Text: Link
Friedman, Michael Reconsidering logical positivism. (English) Zbl 0981.03005 Cambridge: Cambridge University Press. xx, 252 p. (1999). Reviewer: Volker Peckhaus (Erlangen) MSC: 03-03 03A05 00A30 01A60 03-02 03B30 PDFBibTeX XMLCite \textit{M. Friedman}, Reconsidering logical positivism. Cambridge: Cambridge University Press (1999; Zbl 0981.03005)
Torretti, Roberto The philosophy of physics. (English) Zbl 0968.03005 The Evolution of Modern Philosophy. Cambridge: Cambridge University Press. xvi, 512 p. (1999). Reviewer: Rachel Wallace Garden (Thames) MSC: 03-03 00A79 81P05 70-03 81-03 83-03 01A45 01A50 01A55 01A60 03A05 03B30 00A30 PDFBibTeX XMLCite \textit{R. Torretti}, The philosophy of physics. Cambridge: Cambridge University Press (1999; Zbl 0968.03005)
Vermaas, Pieter E. A philosopher’s understanding of quantum mechanics. Possibilities and impossibilities of a modal interpretation. (English) Zbl 0960.81001 Cambridge: Cambridge University Press. xii, 295 p. (1999). Reviewer: Rachel Wallace Garden (Thames) MSC: 81P05 00A30 00A79 03B30 PDFBibTeX XMLCite \textit{P. E. Vermaas}, A philosopher's understanding of quantum mechanics. Possibilities and impossibilities of a modal interpretation. Cambridge: Cambridge University Press (1999; Zbl 0960.81001) Full Text: DOI
Johann, Michael An empirical theory of the number concept. (Eine empirische Theorie des Zahlbegriffs.) (German) Zbl 1073.00502 Europäische Hochschulschriften. Reihe 11, Pädagogik 791. Frankfurt/Main: Peter Lang; Koblenz: Univ. Koblenz (Diss.) (ISBN 3-631-35367-7/pbk). vi, 111 S. (1999). Reviewer: Roman Murawski (Poznań) MSC: 00A35 03B30 PDFBibTeX XMLCite \textit{M. Johann}, Eine empirische Theorie des Zahlbegriffs. Frankfurt/Main: Peter Lang; Koblenz: Univ. Koblenz (Diss.) (1999; Zbl 1073.00502)
Simpson, Stephen G. Subsystems of second order arithmetic. (English) Zbl 0909.03048 Perspectives in Mathematical Logic. Berlin: Springer. xiv, 444 p. (1999). Reviewer: R.Murawski (Poznań) MSC: 03F35 03-02 03C62 PDFBibTeX XMLCite \textit{S. G. Simpson}, Subsystems of second order arithmetic. Berlin: Springer (1999; Zbl 0909.03048)
Conway, J. H.; Sloane, N. J. A. [Bannai, E.; Borcherds, R. E.; Leech, J.; Norton, S. P.; Odlyzko, A. M.; Parker, R. A.; Queen, L.; Venkov, B. B.] Sphere packings, lattices and groups. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 3rd ed. (English) Zbl 0915.52003 Grundlehren der Mathematischen Wissenschaften. 290. New York, NY: Springer. lxxiv, 703 p. (1999). Reviewer: Jörg M.Wills (Siegen) MSC: 52C17 52C07 11H06 11-02 05-02 05B40 52-02 03B30 05B05 20D08 11F27 94B99 PDFBibTeX XMLCite \textit{J. H. Conway} and \textit{N. J. A. Sloane}, Sphere packings, lattices and groups. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 3rd ed. New York, NY: Springer (1999; Zbl 0915.52003) Backlinks: MO
Szaniawski, Klemens Chmielewski, Adam (ed.); Woleński, Jan (ed.) On science, inference, information and decision-making. Selected essays in the philosophy of science. Ed. by Adam Chmielewski and Jan Woleński. (English) Zbl 0955.03010 Synthese Library. 271. Dordrecht: Kluwer Academic Publishers. xiv, 242 p. (1998). MSC: 03-06 01A75 03A05 03B30 62A01 PDFBibTeX XMLCite \textit{K. Szaniawski} et al., On science, inference, information and decision-making. Selected essays in the philosophy of science. Ed. by Adam Chmielewski and Jan Woleński. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0955.03010)
Marek, Wiktor; Onyszkiewicz, Janusz Elements of logic and set theory in exercises. (Elementy logiki i teorii mnogości w zadaniach.) (Polish) Zbl 0915.03003 Warsaw: Wydawnictwo Naukowe PWN. 274 p. (1998). MSC: 03-01 00A07 03B10 03E20 03E25 03E10 03B30 03C99 03D20 03G05 03G10 03B05 PDFBibTeX XMLCite \textit{W. Marek} and \textit{J. Onyszkiewicz}, Elementy logiki i teorii mnogości w zadaniach (Polish). Warsaw: Wydawnictwo Naukowe PWN (1998; Zbl 0915.03003)
Callens, Stéphane Les maîtres de l’erreur: mesure et probabilité au XIXe siècle. (The masters of the error: measure and probability in the 19th century). (French) Zbl 0921.01013 Sciences, Histoire, Société. Paris: Presses Universitaires de France. 574 p. FF 188.00 (1997). Reviewer: H.Grimm (Jena) MSC: 01A55 00A30 28-03 03B30 60-03 60A10 PDFBibTeX XML
Callens, Stéphane Les maîtres de l’erreur: mesure et probabilité au XIXe siècle. (The masters of the error: measure and probability in the 19th century.) (French) Zbl 0923.01018 Sciences, Histoire, Société. Paris: Presses Universitaires de France. 574 p. (1997). Reviewer: H.Grimm (Jena) MSC: 01A55 28-03 00A30 03B30 60-03 60A10 PDFBibTeX XMLCite \textit{S. Callens}, The masters of the error: measure and probability in the 19th century. Paris: Presses Universitaires de France (1997; Zbl 0923.01018)
Cantini, Andrea Logical frameworks for truth and abstraction. An axiomatic study. (English) Zbl 0860.03015 Studies in Logic and the Foundations of Mathematics. 135. Amsterdam: North-Holland. xii, 461 p. (1996). Reviewer: K.Nour (Le Bourget du Lac) MSC: 03B40 03-02 03F03 03D75 03B30 PDFBibTeX XMLCite \textit{A. Cantini}, Logical frameworks for truth and abstraction. An axiomatic study. Amsterdam: North-Holland (1996; Zbl 0860.03015)
Corry, Leo Modern algebra and the rise of mathematical structures. (English) Zbl 0858.01022 Science Networks. Historical Studies. 17. Basel: Birkhäuser. 460 p. (1996). Reviewer: K.-H.Schlote (Leipzig) MSC: 01A60 01-02 00A30 00A35 03B30 PDFBibTeX XMLCite \textit{L. Corry}, Modern algebra and the rise of mathematical structures. Basel: Birkhäuser (1996; Zbl 0858.01022)
Schirn, Matthias (ed.) Frege: importance and legacy. Papers, most of which were presented at the international conference on foundational problems in Frege and modern logic, Munich, Germany, July 8–13, 1991. (English) Zbl 0953.03005 Perspectives in Analytical Philosophy. 13. Berlin: Walter de Gruyter. ix, 466 p. (1996). Reviewer: Volker Peckhaus (Erlangen) MSC: 03-06 01-06 00B25 01A55 00A30 03A05 01A60 03B30 03-03 PDFBibTeX XMLCite \textit{M. Schirn} (ed.), Frege: importance and legacy. Papers, most of which were presented at the international conference on foundational problems in Frege and modern logic, Munich, Germany, July 8--13, 1991. Berlin: Walter de Gruyter (1996; Zbl 0953.03005)
Kelly, Kevin T. The logic of reliable inquiry. (English) Zbl 0910.03023 Logic and Computation in Philosophy. New York, NY: Oxford University Press. xiv, 434 p. (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03B80 00A35 03B30 03D80 00A30 03-02 PDFBibTeX XMLCite \textit{K. T. Kelly}, The logic of reliable inquiry. New York, NY: Oxford University Press (1996; Zbl 0910.03023)
Hailperin, Theodore Sentential probability logic. Origins, development, current status, and technical applications. (English) Zbl 0922.03026 Bethlehem: Lehigh University Press. London: Associated University Presses, 304 p. (1996). Reviewer: H.E.Kyburg (Rochester) MSC: 03B48 03-02 03B80 60A05 03B30 PDFBibTeX XMLCite \textit{T. Hailperin}, Sentential probability logic. Origins, development, current status, and technical applications. Bethlehem: Lehigh University Press; London: Associated University Presses (1996; Zbl 0922.03026)
Kuhn, Friedrich Another idea of pragmatism. Probability theory and establishment of induction as decisive magnitude of influence in the “Illustrations of the logic of science” by Charles Sanders Peirce. (Ein anderes Bild des Pragmatismus. Wahrscheinlichkeitstheorie und Begründung der Induktion als maßgebliche Einflußgrößen in den “Illustrations of the logic of science” von Charles Sanders Peirce.) (German) Zbl 0876.03001 Philosophische Abhandlungen. 67. Frankfurt am Main: Vittorio Klostermann. 306 S. (1996). MSC: 03A05 60A05 01A55 03-03 03B30 03B48 PDFBibTeX XMLCite \textit{F. Kuhn}, Ein anderes Bild des Pragmatismus. Wahrscheinlichkeitstheorie und Begründung der Induktion als maßgebliche Einflußgrößen in den ``Illustrations of the logic of science'' von Charles Sanders Peirce. Frankfurt am Main: Vittorio Klostermann (1996; Zbl 0876.03001)
Miron, Radu; Brânzei, Dan Backgrounds of arithmetic and geometry. An introduction. (English) Zbl 0913.51001 Series in Pure Mathematics. 23. Singapore: World Scientific. xii, 286 p. (1995). Reviewer: M.Anastasiei (Iaşi) MSC: 51-01 03-01 03B30 PDFBibTeX XMLCite \textit{R. Miron} and \textit{D. Brânzei}, Backgrounds of arithmetic and geometry. An introduction. Singapore: World Scientific (1995; Zbl 0913.51001)
Quine, W. V. From stimulus to science. (English) Zbl 0933.03003 Cambridge, MA: Harvard University Press. vi, 114 p. (1995). Reviewer: H.E.Kyburg (Rochester) MSC: 03A05 03-02 03B30 PDFBibTeX XMLCite \textit{W. V. Quine}, From stimulus to science. Cambridge, MA: Harvard University Press (1995; Zbl 0933.03003)
Weyl, Hermann The continuum. A critical examination of the foundation of analysis. Transl. from the German by Stephen Pollard and Thomas Bole. With a foreword by John Archibald Wheeler and an introduction by Stephen Pollard. Corr. repr. of the 1987 translation. (English) Zbl 0849.03001 New York, NY: Dover Publications. xxvi, 130 p. (1994). MSC: 03-02 03B30 03F60 03-03 03A05 01A75 26E40 00A30 PDFBibTeX XMLCite \textit{H. Weyl}, The continuum. A critical examination of the foundation of analysis. Transl. from the German by Stephen Pollard and Thomas Bole. With a foreword by John Archibald Wheeler and an introduction by Stephen Pollard. Corr. repr. of the 1987 translation. New York, NY: Dover Publications (1994; Zbl 0849.03001)
Balbiani, Philippe; Dugat, Vincent; Fariñas del Cerro, Luis; Lopez, Anne Elements of mechanical geometry. (Éléments de géométrie mécanique.) (French) Zbl 0871.51010 Paris: Hermes. 176 p. (1994). Reviewer: G.Ehrig (Berlin) MSC: 51M04 03B30 68U05 51-01 PDFBibTeX XMLCite \textit{P. Balbiani} et al., Éléments de géométrie mécanique. Paris: Hermes (1994; Zbl 0871.51010)
Glaß, Thomas Standard structures for systems of explicit mathematics (a proof-theoretic study). (Standardstrukturen für Systeme expliziter Mathematik (Eine beweistheoretische Untersuchung).) (German) Zbl 0797.03058 Münster: Univ. Münster, Math.-Naturwiss. Fak. vi, 135 S. (1993). MSC: 03F50 03F35 PDFBibTeX XMLCite \textit{T. Glaß}, Standardstrukturen für Systeme expliziter Mathematik (Eine beweistheoretische Untersuchung). Münster: Univ. Münster, Math.-Naturwiss. Fak. (1993; Zbl 0797.03058)
Tanaka, Kazuyuki (ed.) Proof theory and reverse mathematics. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, January 11–13, 1993. (English, Japanese) Zbl 0894.03032 RIMS Kokyuroku 847, ii, 106 p. (1993). MSC: 03Fxx 03-06 00B25 PDFBibTeX XML
Conway, J. H.; Sloane, N. J. A. Sphere packings, lattices and groups. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 2. ed. (English) Zbl 0785.11036 Grundlehren der Mathematischen Wissenschaften. 290. New York: Springer- Verlag. xliii, 679 p. (1993). Reviewer: J.Elstrodt (Münster) MSC: 11H31 52C07 52C17 11H06 11-02 05-02 05B40 52-02 03B30 05B05 20D08 11F27 94B99 PDFBibTeX XMLCite \textit{J. H. Conway} and \textit{N. J. A. Sloane}, Sphere packings, lattices and groups. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 2. ed. New York: Springer-Verlag (1993; Zbl 0785.11036)
Halász, G. (ed.); Lovász, L. (ed.); Miklós, D. (ed.); Szönyi, T. (ed.) Sets, graphs and numbers. A birthday salute to Vera T. Sós and András Hajnal. (English) Zbl 0925.05001 Colloquia Mathematica Societatis János Bolyai. 60. Amsterdam: North-Holland Publishing Company. 752 p. (1992). MSC: 05-06 03B30 00B25 PDFBibTeX XMLCite \textit{G. Halász} (ed.) et al., Sets, graphs and numbers. A birthday salute to Vera T. Sós and András Hajnal. Amsterdam: North-Holland Publishing Company (1992; Zbl 0925.05001)
Isermann, Rolf Identification of dynamical systems 2. Special methods, applications. 2., neubearb. u. erw. Aufl. (Identifikation dynamischer Systeme 2. Besondere Methoden, Anwendungen.) (German) Zbl 0768.93001 Springer-Lehrbuch. Berlin: Springer-Verlag. xxii, 336 S. (1992). Reviewer: A.Munack (Braunschweig) MSC: 93-01 03B30 93E12 60G35 62F99 62L20 93C55 PDFBibTeX XMLCite \textit{R. Isermann}, Identifikation dynamischer Systeme 2. Besondere Methoden, Anwendungen. 2., neubearb. u. erw. Aufl. Berlin: Springer-Verlag (1992; Zbl 0768.93001)
Burgin, M. S.; Kuznetsov, V. I. The axiological aspects of scientific theories. (Аксиологические аспекты научных теорий.) (Russian) Zbl 0875.03041 Kiev: Naukova Dumka, 179 p. (1991). MSC: 03B30 03A05 03-02 PDFBibTeX XMLCite \textit{M. S. Burgin} and \textit{V. I. Kuznetsov}, Аксиологические аспекты научных теорий (Russian). Kiev: Naukova Dumka (1991; Zbl 0875.03041)
Essler, Wilhelm K.; Martínez Cruzado, Rosa F. Grundzüge der Logik. Bd. 1: Das logische Schließen. Unter Mitwirkung von Elke Brendel und Robert Kirchner. (Foundations of logic. Vol. 1: The logical reasoning). 4. Aufl. (German) Zbl 0744.03001 Frankfurt/Main: Klostermann. 381 S. (1991). MSC: 03-01 03A05 03B05 03B10 03B30 03B60 PDFBibTeX XMLCite \textit{W. K. Essler} and \textit{R. F. Martínez Cruzado}, Grundzüge der Logik. Bd. 1: Das logische Schließen. Unter Mitwirkung von Elke Brendel und Robert Kirchner. (Foundations of logic. Vol. 1: The logical reasoning). 4. Aufl. Frankfurt/Main: Klostermann (1991; Zbl 0744.03001)
Margaris, Angelo First order mathematical logic. Corr. reprint of the 1967 ed. (English) Zbl 0743.03001 A Blaisdell Book in Pure and Applied Mathematics. New York: Dover Publications, Inc. xii, 211 p. (1990). MSC: 03-01 03B10 03B25 03B30 03C35 03F30 03C07 PDFBibTeX XMLCite \textit{A. Margaris}, First order mathematical logic. Corr. reprint of the 1967 ed. New York: Dover Publications, Inc. (1990; Zbl 0743.03001)
Hartmann, Dirk Constructive logic of questions. (Konstruktive Fragelogik. Vom Elementarsatz zur Logik von Frage und Antwort.) (German) Zbl 0756.03001 Mannheim etc.: B.I.-Wissenschaftsverlag. 232 p. (1990). Reviewer: J.Bacon (Sydney) MSC: 03-01 03-02 03B20 03B30 03B60 03B65 03A05 03B10 03B80 PDFBibTeX XMLCite \textit{D. Hartmann}, Konstruktive Fragelogik. Vom Elementarsatz zur Logik von Frage und Antwort. Mannheim etc.: B.I.-Wissenschaftsverlag (1990; Zbl 0756.03001)
Martin, Norman M. Systems of logic. (English) Zbl 0752.03001 Cambridge etc.: Cambridge University Press,. xi, 320 p. (1989). Reviewer: E.Mendelson (Flushing) MSC: 03-02 03B05 03-01 03B30 03B10 03B45 03B20 PDFBibTeX XMLCite \textit{N. M. Martin}, Systems of logic. Cambridge etc.: Cambridge University Press (1989; Zbl 0752.03001)
Smirnov, V. A. Logical methods of analysis of scientific knowledge. (Logicheskie metody analiza nauchnogo znaniya). (Russian) Zbl 0652.03001 Moskva: Nauka. 256 p. R. 1.70 (1987). Reviewer: S.Gottwald MSC: 03-01 03A05 03B45 00A06 03B10 03B30 PDFBibTeX XML
Essler, Wilhelm K.; Brendel, Elke; Martínez Cruzado, Rosa F. Grundzüge der Logik. II: Klassen, Relationen, Zahlen. (3., neubearb. Aufl.). (German) Zbl 0614.03001 Frankfurt am Main: Vittorio Klostermann. XIV, 336 S.; DM 32.00 (1987). Reviewer: A.A.Mullin MSC: 03-01 03-02 03A05 03B15 03B30 PDFBibTeX XML
Smoryński, C. Self-reference and modal logic. (English) Zbl 0596.03001 Universitext. New York etc.: Springer-Verlag. XII, 333 p. DM 88.00 (1985). Reviewer: L.Löfgren MSC: 03-02 03-01 03A05 03B45 03B30 PDFBibTeX XML
Lorenzen, Paul Elementargeometrie. Das Fundament der Analytischen Geometrie. (German) Zbl 0542.51001 B.I.-Hochschultaschenbücher, Bd. 400. Mannheim - Wien - Zürich: Bibliographisches Institut, B.I.-Wissenschaftsverlag. 238 S. DM 28.00 (1984). Reviewer: L.Führer MSC: 51-01 03B30 01A20 PDFBibTeX XML
Essler, Wilhelm K.; Martínez Cruzado, Rosa F. Grundzüge der Logik. I: Das logische Schließen. 3., neu bearb. Aufl. (German) Zbl 0532.03001 Frankfurt/Main: Vittorio Klostermann. XIV, 306 S. DM 28.00 (1983). Reviewer: A.A.Mullin MSC: 03-01 03A05 03B05 03B10 03B30 03B60 PDFBibTeX XML
Glubrecht, Juergen-Michael; Oberschelp, Arnold; Todt, Guenter Klassenlogik. (German) Zbl 0514.03001 Mannheim - Wien - Zürich: Bibliographisches Institut, B.I.- Wissenschaftsverlag. 467 S. DM 48.00 (1983). MSC: 03-01 03B99 03B30 03C80 PDFBibTeX XML
Molzan, Burkhard On the number of different theories of Boolean algebras in several logics. (English) Zbl 0476.03040 Rep., Akad. Wiss. DDR, Inst. Math. R-MATH-03/81, 102-113 (1981). MSC: 03C80 03B30 06E99 PDFBibTeX XML
Molzan, Burkhard The theory of superatomic Boolean algebras in the logic with the binary Ramsey quantifier. (English) Zbl 0459.03018 Prepr., Neue Folge, Humboldt-Univ. Berl., Sekt. Math. 9, 28 S. (1981). MSC: 03C80 03B25 03C10 03B30 PDFBibTeX XML
Baudisch, Andreas The elementary theory of Abelian groups with m-chains of pure subgroups. (Preprint). (English) Zbl 0413.03022 Akademie der Wissenschaften der DDR, Zentralinstitut für Mathematik und Mechanik. 26 S. (1979). MSC: 03C65 03B25 03C60 03C80 03B30 20K99 06A05 06E99 05C05 05C10 PDFBibTeX XML
Marek, Wiktor; Onyszkiewicz, Janusz Foundations of logic and set theory in exercises. 4th ed. (Elementy logiki i teorii mnogosci w zadaniach). (Polish) Zbl 0448.03001 Warszawa: Panstwowe Wydawnictwo Naukowe. 274 p. Zl. 26.00 (1978). MSC: 03-01 03B05 03B10 03E25 03E10 03B30 03E20 03C99 03D20 03G05 03G10 PDFBibTeX XML
Lorenzen, Paul; Lorenz, Kuno Dialogische Logik. (German) Zbl 0435.03011 Darmstadt: Wissenschaftliche Buchgesellschaft. VIII, 238 S., kart. DM 44.50 (1978). MSC: 03B30 03F55 03F65 03-02 91A05 01A75 PDFBibTeX XML
Kaufmann, Felix McGuinness, Brian (ed.) [Nagel, Ernst] The infinite in mathematics. Logico-mathematical writings. Edited by Brian McGuiness. With an introduction by Ernest Nagel. Translated from the German by Paul Foulkes. (English) Zbl 0402.03001 Vienna Circle Collection, 9. Dordrecht-Boston: D. Reidel Publishing Company. XVII, 235 p. hbk: Dfl. 85.00; $ 39.50; pbk: Dfl. 45.00; $ 19.95 (1978). MSC: 03-03 01A60 01A75 03B30 03A05 03-02 00A30 PDFBibTeX XML
Shelah, S. Classification theory and the number of non-isomorphic models. (English) Zbl 0388.03009 Studies in Logic and the Foundations of Mathematics. Vol. 92. Amsterdam - New York - Oxford: North-Holland Publishing Company. XVI, 544 p. $ 62.25; Dfl. 140.00 (1978). MSC: 03C35 03-02 03C45 03C50 03B15 03B30 03C15 03C20 03C55 03C30 03C65 03C60 PDFBibTeX XML
Margaris, A. First order mathematical logic. (English) Zbl 0156.24710 A Blaisdell Book in Pure and Applied Mathematics. Waltham, Mass.-Toronto-London: Blaisdell Publishing Company, a division of Ginn and Company. x, 211 p. (1967). Reviewer: I. Thomas MSC: 03-01 03B10 03B25 03B30 03C35 03F30 03C07 PDFBibTeX XML
Wilkosz, W. Arithmetic of integer numbers. (Arytmetyka liczb całkowitych. (Arithmetik der ganzen Zahlen.).) (Polish) JFM 50.0040.03 Krakau, autographiert 107 S. \(8^\circ\) (1924). Reviewer: Lichtenstein, Prof. (Leipzig) & Liebmann, Prof. (Münst.) MSC: 03B30 PDFBibTeX XML