Logic: a Brief Course (UNITEXT)

0 avg rating
( 0 ratings by Goodreads )
 
9788847023604: Logic: a Brief Course (UNITEXT)
View all copies of this ISBN edition:
 
 

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics.

"synopsis" may belong to another edition of this title.

Review:

From the reviews:

“This is a short introduction to mathematical logic that covers basic material in 17 chapters ... . The book is interspersed with several small references to various scholars involved in the development of logic, which provides for welcome interruptions in the formal exposition. ... An important aspect of the book is a veritable multitude of exercises. ... it is a very nice booklet that in view of this reviewer is an attractive choice for an introductory logic course for first year computer science students.” (Krzysztof R. Apt, Theory and Practice of Logic Programming, Vol. 12 (3), 2012)

“The book contains all the necessary means to understand any advanced text in logic, including the subjects covering Gödel’s incompleteness theorems. Although brief, this course seems to be an excellent introduction to modern mathematical logic, and, as such, we recommend it firstly to students of mathematics and computer science, and also to students of philosophy and linguistics ... . The author’s beautiful, clear and approachable style makes this book also recommendable to a broader range of readers who are interested in modern trends in logic.” (Branislav Boričić, Zentralblatt MATH, Vol. 1235, 2012)

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 49.99
US$ 31.33

Convert currency

Shipping: US$ 11.47
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Daniele Mundici
Published by Springer Verlag (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Quantity Available: > 20
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer Verlag, 2012. PAP. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # S0-9788847023604

More information about this seller | Contact this seller

Buy New
US$ 31.33
Convert currency

Add to Basket

Shipping: US$ 11.47
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Mundici, Daniele
Published by Springer (2016)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9788847023604_lsuk

More information about this seller | Contact this seller

Buy New
US$ 38.14
Convert currency

Add to Basket

Shipping: US$ 4.93
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Daniele Mundici (author)
Published by Springer Milan 2012-02-02, Milan |London (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Milan 2012-02-02, Milan |London, 2012. paperback. Condition: New. Seller Inventory # 9788847023604

More information about this seller | Contact this seller

Buy New
US$ 35.44
Convert currency

Add to Basket

Shipping: US$ 7.65
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Daniele Mundici
Published by Springer Verlag (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer Verlag, 2012. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9788847023604

More information about this seller | Contact this seller

Buy New
US$ 44.01
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Daniele Mundici
Published by Springer Verlag (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer Verlag, 2012. Condition: New. Seller Inventory # L9788847023604

More information about this seller | Contact this seller

Buy New
US$ 47.89
Convert currency

Add to Basket

Shipping: US$ 3.15
From Germany to U.S.A.
Destination, rates & speeds

6.

Mundici, Daniele
Published by Springer Verlag (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer Verlag, 2012. Paperback. Condition: Brand New. 1st edition. 140 pages. 9.13x0.39x6.06 inches. In Stock. Seller Inventory # __8847023602

More information about this seller | Contact this seller

Buy New
US$ 43.31
Convert currency

Add to Basket

Shipping: US$ 9.56
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

DANIELE MUNDICI
Published by Springer (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. Paperback. Condition: NEW. 9788847023604 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0382536

More information about this seller | Contact this seller

Buy New
US$ 43.33
Convert currency

Add to Basket

Shipping: US$ 10.17
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

Daniele Mundici
Published by Springer (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2012. Paperback. Condition: New. 2012. Seller Inventory # DADAX8847023602

More information about this seller | Contact this seller

Buy New
US$ 53.01
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

9.

Daniele Mundici
Published by Springer-Verlag Gmbh Feb 2012 (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Taschenbuch Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Feb 2012, 2012. Taschenbuch. Condition: Neu. Neuware - This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's compactness theorem for propositional logic. The reader will familiarize himself with many basic ideas and artifacts of mathematical logic: a non-ambiguous syntax, logical equivalence and consequence relation, the Davis-Putnam procedure, Tarski semantics, Herbrand models, the axioms of identity, Skolem normal forms, nonstandard models and, interestingly enough, proofs and refutations viewed as graphic objects. The mathematical prerequisites are minimal: the book is accessible to anybody having some familiarity with proofs by induction. Many exercises on the relationship between natural language and formal proofs make the book also interesting to a wide range of students of philosophy and linguistics. 124 pp. Englisch. Seller Inventory # 9788847023604

More information about this seller | Contact this seller

Buy New
US$ 47.89
Convert currency

Add to Basket

Shipping: US$ 13.73
From Germany to U.S.A.
Destination, rates & speeds

10.

Mundici, Daniele
Published by Springer Verlag (2012)
ISBN 10: 8847023602 ISBN 13: 9788847023604
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer Verlag, 2012. Paperback. Condition: Brand New. 1st edition. 140 pages. 9.13x0.39x6.06 inches. In Stock. Seller Inventory # z-8847023602

More information about this seller | Contact this seller

Buy New
US$ 52.52
Convert currency

Add to Basket

Shipping: US$ 9.56
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book