Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
by A. S. Troelstra
→ See this at Amazon.com
by A. S. Troelstra
→ See this at Amazon.com
FAQ | Terms of Use | Privacy Policy | | Robot Co-op Blog | Copyright © 2004 - 2009 Robot Co-op