A Century of Advancing Mathematics
Stephen F. Kennedy
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Math Into TeX: A Simple Guide to Typesetting Math Using AMS-LaTex
George A. Grätzer
Celestial Navigation by H. O. 249
John E. Milligan
Advances in natural language processing : 4th international ...
José Luis Vicedo & Particio Martínez-Barco & Rafael Munoz & Maximiliano Saiz Noeda
Lecture Notes in Computer Science (3230)
The Secret Ingredient: To Winning at Chess
Jan Markos & David Navara