1. Der Untergang von Mathemagika : Ein Roman über eine Welt jenseits unserer Vorstellung /: Ein Roman über eine Welt jenseits unserer Vorstellung. ([2015]) Authors: Kuhlemann, Karl Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice /: dialogical strategies, CTT demonstrations and the axiom of choice. (2015) Authors: Clerbout, Nicolas; Rahman, Shahid, 1956- Record Type: Book Extent: 1 online resource (xix, 99 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗