Book serie: / Книги серии: Ontos Mathematical Logic,5 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Ontos Mathematical Logic,5

book Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

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

epub

Author: Åsa Hirvonen (editor), Juha Kontinen (editor), Roman Kossak (editor), Andrés Villaveces (editor)
Language: English
Year: 2015

00

01.03.2024

0

0

book Logic, Construction, Computation

Logic, Construction, Computation

pdf

Author: Ulrich Berger (editor), Hannes Diener (editor), Peter Schuster (editor), Monika Seisenberger (editor)
Language: English
Year: 2012

00

01.03.2024

0

0

book Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

pdf

Author: Vasco Brattka (editor), Hannes Diener (editor), Dieter Spreen (editor)
Language: English
Year: 2014

00

01.03.2024

0

0

book Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

epub

Author: Vasco Brattka (editor), Hannes Diener (editor), Dieter Spreen (editor)
Language: English
Year: 2014

00

01.03.2024

1

0

book Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

pdf

Author: Dieter Probst (editor), Peter Schuster (editor)
Language: English
Year: 2016

00

01.03.2024

0

0

book Church's Thesis After 70 Years

Church's Thesis After 70 Years

pdf

Author: Adam Olszewski (editor), Jan Wolenski (editor), Robert Janusz (editor)
Language: English
Year: 2006

00

01.03.2024

2

0

book Ways of Proof Theory

Ways of Proof Theory

pdf

Author: Ralf Schindler (editor)
Language: English
Year: 2010

00

01.03.2024

0

0

book Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

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

pdf

Author: Åsa Hirvonen (editor), Juha Kontinen (editor), Roman Kossak (editor), Andrés Villaveces (editor)
Language: English
Year: 2015

00

01.03.2024

0

0

book Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

epub

Author: Dieter Probst, Peter Schuster
Language: English
Year: 2016

00

06.02.2024

0

0

book Concepts of Proof in Mathematics

Concepts of Proof in Mathematics

pdf

Author: Dieter Probst, Peter Schuster
Language: English
Year: 2016

00

06.02.2024

0

0