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.

�ber die Autorin bzw. den Autor

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

de Wit Books (Benjamin de Wit, Bookseller; Chalcedon Books) issued catalogs in Theology, Philosophy and Church History since 1982 & has been selling online since 2001. We have a stock of 20,000 quality and scholarly books in the Sciences, Humanities & Religion. Ben and Linda de Wit, proprietors.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

de Wit Books
KS, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

VISA or MasterCard through abebooks.com; PayPal; personal checks on US banks; money orders in US funds. Libraries invoiced on request. Prices are net to all. de Wit Books
6500 No. Plum
Hutchinson, KS 65702
dewitbooks@gmail.com

Widerrufsbelehrung

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Versandkosten von USA nach Deutschland

Versandkosten von USA nach Deutschland
Bestellmenge	6 bis 10�Werktage	5 bis 8�Werktage
Erster Artikel	EUR 38.33	EUR 38.33

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.