×

Found 314 Documents (Results 1–100)

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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI

Concrete mathematics. Finitistic approach to foundations. (English) Zbl 1496.03020

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:  03A05 03F30 03B30
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software