Type Theory and Formal Proof Nederpelt Rob
Hobby
Nejnižší cena
od 2 089 Kč
AutorRob Nederpelt, Herman Geuvers
Počet stran466
Jazykanglické
ISBN110703650X
Váha948 gramů
VazbaPevná
Srovnání cen Type Theory and Formal Proof Nederpelt Rob
Žádné nabídky.
Popis Type Theory and Formal Proof Nederpelt Rob
Parametry
- Autor
- Rob Nederpelt, Herman Geuvers
- Počet stran
- 466
- Jazyk
- anglické
- ISBN
- 110703650X
- Váha
- 948 gramů
- Vazba
- Pevná
Podobné produkty
Type Theory and Formal Proof Nederpelt Rob
od 2089.00 Kč
Introduction to Formal Language Theory
od 1529.00 Kč
Type Inheritance and Relational Theory
od 849.00 Kč
Basic Proof Theory
od 1344.00 Kč
Higher-Order Logic and Type Theory
od 562.00 Kč
Introduction to Proof Theory
od 859.00 Kč
Formal Languages and Computation
od 2771.00 Kč
A Proof Theory for General Unification, 1
od 1530.00 Kč
Introduction to Formal Languages and Automata
od 7016.00 Kč
Ordinal Analysis with an Introduction to Proof Theory
od 1566.00 Kč
Formal And Analytic Solutions Of Differential Equations
od 3972.00 Kč
Theory of Type Design Unger GerardPevná vazba
od 1232.00 Kč
Objectivity, Realism, and Proof
od 3945.00 Kč
Theory and Reality
od 802.00 Kč
Lettering and Type
od 768.00 Kč
Theory and Practice
od 772.00 Kč
Mimesis and Theory
od 770.00 Kč
Harmony and Theory
od 711.00 Kč
