www.ronaldsachs.com
SafeSearch Not set
user icon
cart icon 0
New Arrivals/Restock
PROGRAM = PROOF

PROGRAM = PROOF

flash sale iconLimited Time Sale
Until the end
01
44
44

US$17.89 cheaper than the new price!!

Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
See all stores
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used  US$11.92
quantity

Product details

Management number 220815170 Release Date 2026/05/03 List Price US$11.92 Model Number 220815170
Category
  1. Books
  2. Science & Math
  3. Mathematics
  4. Pure Mathematics
  5. Logic

This course provides a first introduction to the Curry-Howard correspondence between programs and proofs, from a theoretical programmer's perspective: we want to understand the theory behind logic and programming languages, but also to write concrete programs (in OCaml) and proofs (in Agda). After an introduction to functional programming languages, we present propositional logic, λ-calculus, the Curry-Howard correspondence, first-order logic, Agda, dependent types and homotopy type theory. Read more

ISBN13 979-8615591839
Language English
Publisher Independently published
Dimensions 6.14 x 1.4 x 9.21 inches
Item Weight 1.8 pounds
Print length 559 pages
Publication date July 3, 2020

PROGRAM = PROOF

Bestseller ranking

Logic

1
Natural Deduction in Monadic Predicate Logic: Workbook 5 Extra Full Edition (Logic Self-Taught Workbooks)

Natural Deduction in Monadic Predicate Logic: Workbook 5 Extra Full Edition (Logic Self-Taught Workbooks)

★★★☆☆ (28)
$8.80
2
Natural Deduction in Propositional Logic: Workbook 3 (Logic Self-Taught Workbooks)

Natural Deduction in Propositional Logic: Workbook 3 (Logic Self-Taught Workbooks)

★★★★☆ (12)
$8.80
3
RELAX with 300 large print SUDOKU from easy to intermediate: New A4 bigger size.: With all the solutions at the end of the book Paperback – Large Print, March 12, 2023

RELAX with 300 large print SUDOKU from easy to intermediate: New A4 bigger size.: With all the solutions at the end of the book Paperback – Large Print, March 12, 2023

★★★★☆ (45)
$4.00
4
Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)

Proof Techniques: The All in One Textbook (Haneul Choi Mathematics Textbooks)

★★★☆☆ (48)
$24.00
5
800 LARGE PRINT SUDOKU From Trivial to extreme: new A4 bigger size: With all the solutions at the end of the book Paperback – Large Print, March 11, 2023

800 LARGE PRINT SUDOKU From Trivial to extreme: new A4 bigger size: With all the solutions at the end of the book Paperback – Large Print, March 11, 2023

★★★★☆ (19)
$8.00
See the same product from Logic

Customers who viewed this product also viewed

Packaged Produce

Buzz Buttons Edible Flowers For Cocktails | Grown In USA | Spilanthes | Freeze Dried Edible Flowers for Drinks | Szechuan Buttons | Edible Dried Flowers For Drink Garnish | .2oz Pouch

Buzz Buttons Edible Flowers For Cocktails | Grown In USA | Spilanthes | Freeze Dried Edible Flowers for Drinks | Szechuan Buttons | Edible Dried Flowers For Drink Garnish | .2oz Pouch

★★★☆☆ (32)
$13.99
Verbena Buzz Button Edible Flowers, Freeze-Dried - 20 Flowers

Verbena Buzz Button Edible Flowers, Freeze-Dried - 20 Flowers

★★★★☆ (37)
$12.80
Farmmarket Fresh Persimmon 6 LBS

Farmmarket Fresh Persimmon 6 LBS

★★★★☆ (29)
$16.60
Kovafood Ground Egusi (4LBS)

Kovafood Ground Egusi (4LBS)

★★★☆☆ (17)
$20.00
See all the same products

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Product Review

You must be logged in to post a review