Intuitionistic Type Theory
Per Martin-Lof
Electrochemical Methods Fundamentals & Applications-Wiley
Allen J. Bard, Larry R. Faulkner
21st Century C
Ben Klemens
The Gnostic Jung & the Seven Sermons to the Dead
Stephan A. Hoeller
Expert C Programming
Peter van der Linden