Book serie: / Книги серии: Ontos mathematical logic 4 » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Ontos mathematical logic 4 » Page 2

book Logic, computation, hierarchies: Festschrift in honour of Victor L. Selivanov

Logic, computation, hierarchies: Festschrift in honour of Victor L. Selivanov

djvu

Author: Brattka Vasco, Diener Hannes, Selivanov Victor, Spreen Dieter (eds.)
Language: English
Year: 2014

00

30.01.2024

0

0

book Logic, Construction, Computation

Logic, Construction, Computation

pdf

Author: Ulrich Berger Hannes Diener Peter Schuster Monika Seisenberger
Language: English
Year: 2012

00

29.01.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: Asa Hirvonen Asa Hirvonen Juha Kontinen Roman Kossak Andres Villaveces (eds.)
Language: English
Year: 2015

00

29.01.2024

1

0

book Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

djvu

Author: Brattka Vasco, Diener Hannes, Selivanov Victor, Spreen Dieter (eds.)
Language: English
Year: 2014

00

29.01.2024

2

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: Asa Hirvonen Juha Kontinen Roman Kossak Andres Villaveces (eds.)
Language: English
Year: 2015

00

27.01.2024

1

0

book Logic, Construction, Computation

Logic, Construction, Computation

pdf

Author: Ulrich Berger Hannes Diener Peter Schuster Monika Seisenberger
Language: English
Year: 2012

00

27.01.2024

4

0

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

Concepts of Proof in Mathematics, Philosophy, and Computer Science

pdf

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

00

27.01.2024

0

0

book Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

pdf

Author: Vasco Brattka Hannes Diener Dieter Spreen
Language: English
Year: 2014

00

27.01.2024

0

0

book Ways of Proof Theory

Ways of Proof Theory

pdf

Author: Ralf Schindler
Language: English
Year: 2011

00

27.01.2024

0

0

book Church's Thesis After 70 Years

Church's Thesis After 70 Years

pdf

Author: Adam Olszewski Jan Wolenski Robert Janusz (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0