|
![]() |
|||
|
||||
OverviewWritten by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition. Full Product DetailsAuthor: Haskell B CurryPublisher: Dover Publications Imprint: Dover Publications ISBN: 9781306363891ISBN 10: 1306363896 Pages: 326 Publication Date: 01 January 2012 Audience: General/trade , General Format: Undefined Publisher's Status: Active Availability: Available To Order ![]() We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |