Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Language, Proof, and Logic

Name: Language, Proof, and Logic
Brand: Centre for the Study of Language & Information
SKU: 01348398
Price: 99.97 EUR
Availability: InStock
Author: Dave Barker Plummer
ISBN: 9781575866321

Second Edition

Dave Barker Plummer

Language

English

Book Paperback

Libristo code: 01348398

Publishers Centre for the Study of Language & Information, October 2011

This textbook/software package covers first-order language in a method appropriate for a wide range... Full description

Libristo code: 01348398

243 b

99.97 €

In stock at our supplier Shipping in 3-6 days

Up to 30 days for returns

Customers also purchased

IB Geography Course Book: Oxford IB Diploma Programme Garrett Nagle

Paperback

43.27 €

Teorie her Ken Binmore

Hardback

13.00 €

Pomsta geografie Robert D. Kaplan

Hardback

14.32 €

Organická chémia Ferdinand Devínsky

Hardback

36.61 €

Aramejský Otčenáš collegium

Hardback

8.16 €

Co je fenomén? Karel Novotný

Paperback

4.83 €

Neobyčejné materiály Mark Miodownik

Hardback

10.38 €

Co se děje se světem? Václav Cílek

Hardback

12.50 €

Mapy výskytů zlata v ČR Petr Morávek

Spiral bound

18.35 €

Mapy Aleksandra Mizielińska

Hardback

21.38 €

Atlas zemí, které neexistují Nick Middleton

Paperback

19.66 €

Matematický vesmír Max Tegmark

Hardback

17.85 €

Prohlédni si tu zemi Václav Cílek

Hardback

13.00 €

Oficiální pravidla karetních her Tomáš Svoboda

Paperback

9.37 €

Klíč k určování stanovištně významných lesních rostlin ve vegetativním stavu Jaroslav Koblížek

Hardback

6.24 €

Učebnice středoškolské chemie a biochemie Pavel

Book

16.64 €

Anglická frázová slovesa Jiří Kostečka

Book

5.54 €

Botanika Karel Kubát

Hardback

15.22 €

Makom Václav Cílek

Hardback

13.00 €

Živočišné pudy Robert J. Shiller

Hardback

13.21 €

Školní atlas Světa collegium

Paperback

10.68 €

This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.