The definition of propositional connectives and quantifiers in dependent type theory (higher-order logic):
http://www.kenkubota.de/files/R0_draft_excerpt_with_definitions_and_groups.pdf
News
A new edition of Professor Thomas T. Sekine’s masterpiece, a reformulation of Marx’s Capital, homomorphic to Hegel’s main work Science of Logic and based on the legendary work of the [...]
We are sorry to communicate that Edgar Hilsenrath has passed away. More information and an obituary are available at: hilsenrath.de/nachruf (German) Automated English translation Automated French translation Automated Armenian translation [...]
An English edition of Fuck America is available now! The extract is available online (Look Inside). This translation, made by Professor Astrid Klocke, is already the forth title of Edgar [...]
Extract from “The Nazi and The Barber” available online now! Like on Facebook Like on Twitter Like on Google+ – TeamEH [...]
Anstehende Veranstaltungen – Upcoming Events: Do., 23. August @ 21:00 Theater performance of „Fuck America“ in Paris Fr., 24. August @ 21:00 Theater performance of „Fuck America“ in Paris Sa., 25. August [...]
Social Media
