Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Game Design Workshop, Second Edition: A Playcentric Approach ...
Tracy Fullerton
Essential Mathematics for Games and Interactive Applications ...
James M. Van Verth, Lars M. Bishop
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Lymph & Longevity: The Untapped Secret to Health
Gerald Lemole