Formalizing Natural Languages with NooJ 2018 and Its Natural ...
Max Silberztein & Mario Monteleone & Ignazio Mauro Mirto
Universal Algebra
P. M. Cohn
Who Goes There?
John W. Campbell
The Complete Works of Origen (8 Books): Cross-Linked to the ...
Origen
Adventures in Group Theory: Rubik's Cube, Merlin's Machine, ...
David Joyner
The Mathematica® GuideBook for Symbolics
Michael Trott
Knowledge Representation and the Semantics of Natural Language ...
Hermann Helbig