categories

cart

Cart is empty
You've not logged in

Curry, Haskell B. : Foundations of Mathematical Logic

  • description
  • additional information
Written 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.
condition:
category: Books > Foreign Language Books > Books in English >
category: Books > Natural Sciences > Mathematics, Physics, Astronomy >
category: Books > Philosophy >
publisher: Dover, (1977)
item number / ISBN: 9780486634623
binding: paperback
pages: VIII, 408
language: English
Powered by Axio
Telefon:+36 1 317-50-23
E-mail:info@muzeumantikvarium.hu
Twitter
Twitter
Google+
Blogger
Pinterest
Youtube

cart

Cart is empty