This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.
Mathematical Logic Through Python, Paperback by Gonczarowski, Yannai A.; Nisan, Noam, ISBN 1108949479, ISBN-13 9781108949477, Brand New, Free P&P in the UK "An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gèodel's Completeness Theorem. A "sneak peak" into Gèodel's Incompleteness Theorem is also provided"--
30.40$ Buy It Now
Item | 387609043989![]() |
---|---|
Seller |
superbookdeals1 ( 75117 ⭐ ) 96.1% Location: Castle Donington, GB Accept Payments With , |
Shipping | See shipping cost, Ships to Worldwide, ... |
Guarantee | eBay Money Back Guarantee |
Condition | Brand New |
Book Title | Mathematical Logic Through Python |
Author | Gonczarowski, Yannai A.; Nisan, Noam |
Language | english |
ISBN | 9781108949477 |
6.80$ 21d Details
No more products to load