×

Found 291 Documents (Results 1–100)

100
MathJax

Gottlob Frege’s Basic laws of arithmetic. A commentary on the foreword, the afterword and the introductory paragraphs. (Gottlob Freges Grundgesetze der Arithmetik. Ein Kommentar des Vorworts, des Nachworts und der einleitenden Paragrafen.) (German) Zbl 1481.01035

Münster: Mentis Verlag (ISBN 978-3-95743-160-8/pbk; 978-3-95743-717-4/ebook). 163 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Minimal weak truth table degrees and computably enumerable Turing degrees. (English) Zbl 1460.03002

Memoirs of the American Mathematical Society 1284. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4162-3/pbk; 978-1-4704-6136-2/ebook). vii, 90 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Intuitionistic proof versus classical truth. The role of Brouwer’s creative subject in intuitionistic mathematics. (English) Zbl 1390.03004

Logic, Epistemology, and the Unity of Science 42. Cham: Springer (ISBN 978-3-319-74356-1/hbk; 978-3-319-74357-8/ebook). xiii, 170 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI

Tarski. (English) Zbl 1386.03002

Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 293-313 (2017).
PDF BibTeX XML Cite

Concrete mathematics. finitistic approach to foundations. (English) Zbl 06820475

Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10388, 271-280 (2017).
MSC:  03-XX
PDF BibTeX XML Cite
Full Text: DOI

Some historical, philosophical and methodological remarks on proof in mathematics. (English) Zbl 1433.00031

Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 251-268 (2016).
MSC:  00A30 03A05 00A35
PDF BibTeX XML Cite
Full Text: DOI

Remarks on compositionality. (English) Zbl 1429.03118

Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99-107 (2016).
MSC:  03B60 03-03 01A60
PDF BibTeX XML Cite
Full Text: DOI

Alfred Tarski and the “Concept of truth in formalized languages”. A running commentary with consideration of the Polish original and the German translation. (English) Zbl 1362.03002

Logic, Epistemology, and the Unity of Science 39. Cham: Springer (ISBN 978-3-319-32614-6/hbk; 978-3-319-32616-0/ebook). xii, 187 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Dualities for structures of applied logics. (English) Zbl 1337.03002

Studies in Logic (London) 56. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-181-0/pbk). xii, 381 p. (2015).
PDF BibTeX XML Cite

Henri Poincaré and Hermann Weyl on the foundations of mathematics. (English) Zbl 1334.01016

Rowe, David E. (ed.) et al., A delicate balance: global perspectives on innovation and tradition in the history of mathematics. A Festschrift in honor of Joseph W. Dauben. Cham: Birkhäuser/Springer (ISBN 978-3-319-12029-4/hbk; 978-3-319-36594-7/pbk; 978-3-319-12030-0/ebook). Trends in the History of Science, 125-149 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Strange case of Dr. soundness and Mr. consistency. (English) Zbl 1441.03008

Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications. 161-172 (2014).
MSC:  03A05 03F25 03F30
PDF BibTeX XML Cite

Stoic logic. An exact reproduction of the text originally published by the University of California Press in 1953 and reprinted with a new preface in 1973. (English) Zbl 1357.03007

Classic Reprints. Socorro, NM: Advanced Reasoning Forum (ISBN 978-1-938421-14-3/pbk). vii, 148 p. (2014).
PDF BibTeX XML Cite

Henkin on completeness. (English) Zbl 1347.03003

Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 149-175 (2014).
MSC:  03-03 01A60 03B10 03B15
PDF BibTeX XML Cite
Full Text: DOI

Approximating functions and measuring distance on a graph. (English) Zbl 1364.03050

Downey, Rod (ed.) et al., Proceedings of the 12th Asian logic conference, Wellington, New Zealand, December 15–20, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4449-26-7/hbk; 978-981-4449-28-1/ebook). 24-52 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Logical foundations of mathematics and computational complexity. A gentle introduction. (English) Zbl 1270.03001

Springer Monographs in Mathematics. Cham: Springer (ISBN 978-3-319-00118-0/hbk; 978-3-319-00119-7/ebook). xiv, 695 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI

Fuzzy logics with truth hedges revisited. (English) Zbl 1254.03051

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and 17th annual LFA meeting, Aix-Les-Bains, France, July 18–22, 2011. Amsterdam: Atlantis Press (ISBN 9978-90-78677-00-0). Paper No. 23, 146-152 (2011).
MSC:  03B52
PDF BibTeX XML Cite
Full Text: DOI

Truth and falsehood. An inquiry into generalized logical values. (English) Zbl 1251.03002

PDF BibTeX XML Cite
Full Text: DOI

Truth vs. provability. Philosophical and historical remarks. (English) Zbl 1267.03013

Murawski, Roman, Essays in the philosophy and history of logic and mathematics. Foreword by Jan Woleński. Amsterdam: Rodopi (ISBN 978-90-420-3090-9/hbk). Poznań Studies in the Philosophy of the Sciences and the Humanities 98, 41-57 (2010).
MSC:  03A05 03-03 00A30
PDF BibTeX XML Cite

The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. (English) Zbl 1237.03005

Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010).
PDF BibTeX XML Cite

A course in mathematical logic for mathematicians. Chapters I–VIII translated from the Russian by Neal Koblitz. With new chapters by Boris Zilber and Yuri I. Manin. 2nd ed. (English) Zbl 1180.03002

Graduate Texts in Mathematics 53. Berlin: Springer (ISBN 978-1-4419-0614-4/hbk; 978-1-4419-0615-1/ebook). xviii, 384 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI

Unity, truth and the liar. The modern relevance of medieval solutions to the liar paradox. (English) Zbl 1196.03001

Logic, Epistemology, and the Unity of Science 8. Dordrecht: Springer (ISBN 978-1-402-08467-6/hbk; 978-1-4020-8468-3/ebook). 350 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Software