Recursive Functions and Metamathematics
Roman Murawski
Synthese Library (286)
Natural Language Processing and Chinese Computing: 8th CCF International ...
Dongyan Zhao & Jie Tang & Min-Yen Kan & Sujian Li & Hongying Zan
Philosophy of Logic
Dale Jacquette
Power User Guide: Linux Tricks, Hacks and Secrets [Volume 1]: ...
Jason Savitt
Schools and Kindergardens
Mark Dudek
Hope of the Wicked
Ted Flynn