Badia Guillermo (23 results)

Condition: New.

Condition: New.

HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

Condition: As New. Unread book in perfect condition.

HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.

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: new. Hardcover. 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 importantideas 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 thebook'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 ofmathematics, philosophy, and computer science. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Hardcover. Condition: Brand New. In Stock.

hardcover. Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Hardback. Condition: New. New copy - Usually dispatched within 4 working days.

Rústica Hilo. Condition: Nuevo.

Hardcover. Condition: Brand New. 2nd edition. 160 pages. 6.30x0.59x9.45 inches. In Stock.

Buch. Condition: Neu. Neuware - 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.…

Condition: New. 2025. 2nd ed. hardcover. . . . . . Books ship from the US and Ireland.

Condition: NEW.

Hardcover. Condition: new. Hardcover. 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 importantideas 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 thebook'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 ofmathematics, philosophy, and computer science. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condition: Bueno. 4º menor, 507 p, cartoné tostado, corte superior tintado. Papel tostado. Láminas con ilustraciones b/n.

Condition: New. 2025. 2nd ed. hardcover. . . . . .

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: new. Hardcover. 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 importantideas 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 thebook'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 ofmathematics, philosophy, and computer science. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

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.…