|
![]() |
|||
|
||||
OverviewComprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition. Full Product DetailsAuthor: Haskell B CurryPublisher: Dover Publications Inc. Imprint: Dover Publications Inc. ISBN: 9780486153056ISBN 10: 0486153053 Pages: 416 Audience: General/trade , General Format: Electronic book text Publisher's Status: Active Availability: To order ![]() Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |