ontos mathematical logic

Hirvonen / Kontinen / Kossak / Villaveces

Logic Without Borders

Logic Without Borders

Logic Without Borders

Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

2015eBook (PDF ohne DRM)De GruyterISBN 978-1-61451-687-3

Hirvonen / Kontinen / Kossak / Villaveces

Logic Without Borders

Logic Without Borders

Logic Without Borders

Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

2015eBook (ePub ohne DRM)De GruyterISBN 978-1-61451-932-4

Brattka / Diener / Spreen

Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

2014eBook (ePub ohne DRM)De GruyterISBN 978-1-61451-940-9

Probst / Schuster

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

2016eBook (PDF ohne DRM)De GruyterISBN 978-1-5015-0262-0

Probst / Schuster

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

2016eBook (ePub ohne DRM)De GruyterISBN 978-1-5015-0264-4

Brattka / Diener / Spreen

Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

2014eBook (PDF ohne DRM)De GruyterISBN 978-1-61451-804-4