Ergebnisse für: constructive type theory

Hier findest Du Bücher, die sich mit constructive type theory beschäftigen.

Buch Cover History and Philosophy of Constructive Type Theory

Springer Netherland
160.49 € · Hardcover
...
Buch Cover History and Philosophy of Constructive Type Theory

Springer Netherland
160.49 € · Paperback
...
Buch Cover History and Philosophy of Constructive Type Theory

Springer Netherland
149.79 € · eBook
...
Buch Cover Linking Game-Theoretical Approaches with Constructive Type Theory

Springer International Publishing
53.49 € · Paperback
...
Buch Cover Linking Game-Theoretical Approaches with Constructive Type Theory

Springer International Publishing
53.49 € · eBook
...
Buch Cover Philosophical Type Theory

Springer International Publishing
117.69 € · Hardcover
...
Buch Cover Recent Advances in Constructive Approximation Theory

Springer International Publishing
117.69 € · Hardcover
...
Buch Cover Advances in Proof Theory

Springer International Publishing
106.99 € · Hardcover
...
Buch Cover Well-Quasi Orders in Computation, Logic, Language and Reasoning

Springer International Publishing
192.59 € · Hardcover
...
Buch Cover The Philosophers and Mathematics

Springer International Publishing
106.99 € · Hardcover
...
Buch Cover Philosophical Type Theory

Springer International Publishing
117.69 € · eBook
...
Buch Cover Recent Advances in Constructive Approximation Theory

Springer International Publishing
85.59 € · Paperback
...
Buch Cover Recent Advances in Constructive Approximation Theory

Springer International Publishing
85.59 € · eBook
...
Buch Cover Rational Homotopy Type

Springer Berlin
48.14 € · Paperback
...
Buch Cover Rational Homotopy Type

Springer Berlin
48.14 € · eBook
...
Buch Cover Advances in Proof Theory

Springer International Publishing
106.99 € · eBook
...
Buch Cover Advances in Proof Theory

Springer International Publishing
106.99 € · Paperback
...
Buch Cover Well-Quasi Orders in Computation, Logic, Language and Reasoning

Springer International Publishing
192.59 € · Paperback
...
Buch Cover Well-Quasi Orders in Computation, Logic, Language and Reasoning

Springer International Publishing
192.59 € · eBook
...
Buch Cover Effective Kan Fibrations in Simplicial Sets

Springer International Publishing
64.19 € · eBook
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden