Combinatory Logic: Pure, Applied and Typed

  • Length: 357 pages
  • Publication Date: 2011-07-27
5.0

Introduction to Logic Design

  • Length: 656 pages
  • Publication Date: 2009-01-09