Language: English
Published by Oxford University Press, 2026
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Oxford University Press, 2025
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Oxford University Press, 2026
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Oxford University Press, 2026
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: INDOO, Avenel, NJ, U.S.A.
Condition: New.
Language: English
Published by Oxford University Press, GB, 2025
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Hardback. Condition: New. Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians. This second edition of What is Mathematical Logic?, originally published 50 years ago, deals with important ideas in modern mathematical logic, without the detailed mathematical work required of those with a professional interest in logic. The ideas are set forth simply and clearly in a pleasant style and, despite the book's relative brevity, all the basic material is covered in these pages. Three new chapters have been added, covering automatic theorem proving, logic beyond traditional first order logic, and other logics including intuitionistic, free, and modal logics.Students of computer science and mathematical logic will find it a stimulating introduction and valuable supplement for courses, including current further reading suggestions in this lively area at the intersection of mathematics, philosophy, and computer science.
Language: English
Published by Oxford University Press, GB, 2025
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians. This second edition of What is Mathematical Logic?, originally published 50 years ago, deals with important ideas in modern mathematical logic, without the detailed mathematical work required of those with a professional interest in logic. The ideas are set forth simply and clearly in a pleasant style and, despite the book's relative brevity, all the basic material is covered in these pages. Three new chapters have been added, covering automatic theorem proving, logic beyond traditional first order logic, and other logics including intuitionistic, free, and modal logics.Students of computer science and mathematical logic will find it a stimulating introduction and valuable supplement for courses, including current further reading suggestions in this lively area at the intersection of mathematics, philosophy, and computer science.
Hardcover. Condition: Brand New. In Stock.
hardcover. Condition: New.
Language: English
Published by Oxford University Press, 2026
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Language: English
Published by Oxford University Press, 2026
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Hardcover. Condition: Brand New. 2nd edition. 160 pages. 6.30x0.59x9.45 inches. In Stock.
Language: English
Published by Oxford University Press, 2026
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: Speedyhen, Hertfordshire, United Kingdom
Condition: NEW.
Language: English
Published by Oxford University Press, GB, 2025
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.
Hardback. Condition: New. Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians. This second edition of What is Mathematical Logic?, originally published 50 years ago, deals with important ideas in modern mathematical logic, without the detailed mathematical work required of those with a professional interest in logic. The ideas are set forth simply and clearly in a pleasant style and, despite the book's relative brevity, all the basic material is covered in these pages. Three new chapters have been added, covering automatic theorem proving, logic beyond traditional first order logic, and other logics including intuitionistic, free, and modal logics.Students of computer science and mathematical logic will find it a stimulating introduction and valuable supplement for courses, including current further reading suggestions in this lively area at the intersection of mathematics, philosophy, and computer science.
Language: English
Published by Oxford University Press, GB, 2025
ISBN 10: 0198930860 ISBN 13: 9780198930860
Seller: Rarewaves.com UK, London, United Kingdom
Hardback. Condition: New. Mathematical logic has grown from an exotic branch of mathematics into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable fashion although logic can be a formidably abstruse topic, even for mathematicians. This second edition of What is Mathematical Logic?, originally published 50 years ago, deals with important ideas in modern mathematical logic, without the detailed mathematical work required of those with a professional interest in logic. The ideas are set forth simply and clearly in a pleasant style and, despite the book's relative brevity, all the basic material is covered in these pages. Three new chapters have been added, covering automatic theorem proving, logic beyond traditional first order logic, and other logics including intuitionistic, free, and modal logics.Students of computer science and mathematical logic will find it a stimulating introduction and valuable supplement for courses, including current further reading suggestions in this lively area at the intersection of mathematics, philosophy, and computer science.
Language: English
Published by Createspace Independent Pub, 2016
ISBN 10: 153518275X ISBN 13: 9781535182751
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 88 pages. 9.00x6.00x0.20 inches. This item is printed on demand.
Published by Cassell, London, 2004
Seller: Rare Book Cellar, Pomona, NY, U.S.A.
Softcover. First Paperback Edition; Early Printing. All ten volumes Very Good+ in a Very Good slipcase. Crack on slipcase bottom corner. Crack held with tape on slipcase top corner.