Higher-Order Logic and Type Theory
Hobby
3 nabídky
Nejnižší cena
od 562 Kč
AutorJohn L. Bell
Počet stran75
Rok vydání2022
Jazykanglické
ISBN1108986900
Váha142 gramů
Srovnání cen Higher-Order Logic and Type Theory
Popis Higher-Order Logic and Type Theory
Parametry
- Autor
- John L. Bell
- Počet stran
- 75
- Rok vydání
- 2022
- Jazyk
- anglické
- ISBN
- 1108986900
- Váha
- 142 gramů
- Vazba
- Brožovaná
Podobné produkty
Higher-Order Logic and Type Theory
od 562 Kč
First-order Logic
od 209 Kč
Type Inheritance and Relational Theory
od 849 Kč
On Logic and the Theory of Science
od 560 Kč
Higher Order Fourier Analysis
od 2784 Kč
Politics and the Theory of Spontaneous Order
od 4063 Kč
Type Theory and Formal Proof Nederpelt Rob
od 2089 Kč
Higher-order Thinking Skills Book 5
od 712 Kč
Higher and Higher
od 163 Kč
Modelling Puzzles in First Order Logic
od 1310 Kč
Logic and Transcendence
od 644 Kč
Logic and Computation
od 348 Kč
Chaos and Order
od 328 Kč
Logic and Theism
od 1392 Kč
Logic and Structure
od 1713 Kč
Draw and Order
od 200 Kč
