Zustand: As New. Unread book in perfect condition.
EUR 32,21
Anzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Zustand: New.
EUR 32,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
EUR 32,94
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. In Stock.
EUR 32,22
Anzahl: 2 verfügbar
In den WarenkorbZustand: New.
EUR 36,27
Anzahl: 1 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 37,93
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: New. New copy - Usually dispatched within 3 working days.
EUR 29,77
Anzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
Sprache: Englisch
Verlag: Oxford University Press Mär 2026, 2026
ISBN 10: 0198930860 ISBN 13: 9780198930860
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - Mathematical logic has grown 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.
Sprache: Englisch
Verlag: Oxford University Press, GB, 2025
ISBN 10: 0198930860 ISBN 13: 9780198930860
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 39,12
Anzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: 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.