Higher-Order Logic and Type Theory - John L. Bell
-40% koodiga BOOKS
Saadetis 15-21 tööpäeva jooksul
30-päevane tagastamisõigus
This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to se ... Täielik kirjeldus
Võib-olla meeldib sulle ka
TOP
How Not to Be Wrong: The Power of Mathematical Thinking
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Holy Bible - King James Version (KJV): Popular Gift & Award Black Leatherette Edition
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living: Featuring new translations of Seneca, Epictetus, and Marcus Aurelius
Stephen Hanselman, Ryan Holiday
-40% koodiga BOOKS
Laos
TOP
Ikigai: The Japanese secret to a long and happy life
Francesc Miralles, Héctor García
-40% koodiga BOOKS
Laos
TOP
The Artist's Way: A Spiritual Path to Higher Creativity
-40% koodiga BOOKS
Meie tarnija laos
TOP
Original Sin: The Genetics of Wrongdoing, the Problem of Blame and the Future of Forgiveness
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Art of War & Other Classics of Eastern Philosophy
Mencius, Lao-Tzu, Confucius, Sun Tzu
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Power of Now: A Guide to Spiritual Enlightenment
-40% koodiga BOOKS
Laos
TOP
The Café on the Edge of the World: A Story About the Meaning of Life
-40% koodiga BOOKS
Meie tarnija laos
TOP
The Reed of God: Mary, Virgin and Mother
-40% koodiga BOOKS
Meie tarnija laos
TOP
Antifragile: Things That Gain from Disorder
-40% koodiga BOOKS
Meie tarnija laos
TOP
The 5 Levels of Leadership: Proven Steps to Maximize Your Potential
-40% koodiga BOOKS
Meie tarnija laos
TOP
Open Socrates: The Case for a Philosophical Life
-40% koodiga BOOKS
Meie tarnija laos
TOP
Thus Spoke Zarathustra: A Book for Everyone and No One
-40% koodiga BOOKS
Meie tarnija laos
Kirjeldus
Lisateave
| Autor | John L. Bell |
|---|---|
| Kirjastaja | Cambridge University Press |
| Väljalaskeaasta | 2022 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9781108986908 |