Mathematical Logic through Python

Language: English

Published by Cambridge University Press, GB, 2022

1108949479 / 9781108949477

  • Softcover
  • New
See all details

Seller: Rarewaves.com USA, London, London, United KingdomRarewaves.com USA

5-star seller

AbeBooks seller since June 11, 2025

View this seller's items
Softcover

Condition: New

£ 33.99

 Free Shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Item description from seller

Using a unique pedagogical approach, this text introduces mathematical logic by guiding students in implementing the underlying logical concepts and mathematical proofs via Python programming. This approach, tailored to the unique intuitions and strengths of the ever-growing population of programming-savvy students, brings mathematical logic into the comfort zone of these students and provides clarity that can only be achieved by a deep hands-on understanding and the satisfaction of having created working code. While the approach is unique, the text follows the same set of topics typically covered in a one-semester undergraduate course, including propositional logic and first-order predicate logic, culminating in a proof of Gödel's completeness theorem. A sneak peek to Gödel's incompleteness theorem is also provided. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. Familiarity with proofs and basic proficiency in Python is assumed.

Seller Inventory # LU-9781108949477

Title
Mathematical Logic through Python
Author
Noam Nisan, Yannai A. Gonczarowski
Publisher
Cambridge University Press, GB
Publication year
2022
Condition
New
Binding
Paperback
Language
English
ISBN 10
1108949479
ISBN 13
9781108949477
Item weight
610 grams

Rarewaves.com USA

London, London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

Shipping rates from United Kingdom to U.S.A.

Item7 to 12 business days7 to 12 business days
First item£ 0.00£ 0.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

VisaMastercardAmerican ExpressApple PayGoogle Pay

Seller's business information

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, United Kingdom W1W 8BE