滿額折
Foundations of Mathematical Logic
商品資訊
ISBN13：9780486634623
替代書名：Foundations of Mathematical Logic
出版社：Dover Pubns
作者：Haskell Brooks Curry
出版日：1977/04/01
裝訂：平裝
規格：21.0cm*15.2cm*1.9cm (高/寬/厚)
版次：2
商品簡介
作者簡介
相關商品
商品簡介
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. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
作者簡介
Haskell B. Curry was?Evan Pugh Research Professor Emeritus at?Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton;?a Director of the Institute for Foundational Research at?the University of Amsterdam; and President of the Association for Symbolic Logic.
今日66折
您曾經瀏覽過的商品
購物須知
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。