Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /

Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover sys...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Centrone, Stefania (Editor, http://id.loc.gov/vocabulary/relators/edt), Kant, Deborah (Editor, http://id.loc.gov/vocabulary/relators/edt), Sarikaya, Deniz (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 407
Subjects:
Mathematics-Philosophy.
Computer science-Mathematics.
Mathematical logic.
Mathematical physics.
Philosophy of Mathematics.
Mathematics of Computing.
Mathematical Logic and Foundations.
Theoretical, Mathematical and Computational Physics.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items