Atrás

SKU/Artículo: AMZ-0486780821

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Format:

Paperback

eTextbook

Detalles del producto

Disponibilidad:
En stock

Peso con empaque:
0.90 kg

Devolución:
Sí

Condición
Nuevo

Producto de:
Amazon

Viaja desde
USA

Sobre este producto

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.

S/ 211.95

44% OFF

S/ 117.75

S/ 211.95

44% OFF

S/ 117.75

Llega en 10 a 15 días hábiles

Tienes garantía de entrega

Medios de pago

Cantidad

Medios de pago

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Large Print Logic Puzzles: 50 Logic Grid Puzzles: Contains fun puzzles in font size 16pt (LARGE PRINT Brain Teaser Puzzle Books)

Beginner Kakuro Puzzle Book Large Print Easy 10x10: One Grid Per Page • Clear Spacious Layout • Confidence-Building Cross Sum Challenges • Solutions Included (Kakuro Logic Series)

Hard Kakuro Puzzle Book Large Print Advanced 10x10 Cross Sum Edition: One Grid Per Page • Clear Spacious Layout • Designed for Experienced Solvers • Solutions Included (Kakuro Logic Series)

Classic Kakuro Puzzle Book Large Print 10x10 Cross Sum Challenges: One Grid Per Page • Clear Spacious Layout • Balanced Difficulty for Confident Solvers • Solutions Included (Kakuro Logic Series)

2021 Codeword Puzzle Book: Great Codeword Logic Game Book With Large Print 80 Puzzles And Solutions As A Perfect Gift For Adult And Senior Mum Dad To Make Happiness In Your Solo time In 2021

Learning Logic

Logic Puzzles for Adults – Volume 3: Advanced Deduction, Hard Logic Grid Challenges

Deductive Logic

An Introduction To Traditional Logic: Classical Reasoning For Contemporary Minds

An Introduction to Logic and Scientific Method

Chronicles of Logic: 40 Story-Based Logic Grid Puzzles for Adults: Brain Teasing Adventures to Solve With Deductive Reasoning, Logic and Skill

Logic Puzzles for Adults: Easy Level – Relaxing Logic Grid Challenges

An Introduction to Formal Logic

Socratic Logic: A Logic Text using Socratic Method, Platonic Questions, and Aristotelian Principles, Edition 3.1

Logic: Propositional Logic

Everybody [Transparent Pomegranate 2 LP]

Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)

Introductory Logic: The Fundamentals of Thinking Well Student Edition

Introduction to Logic

Logic: The Right Use of Reason in the Inquiry After Truth

Introduction to Logic

Logic For Dummies (For Dummies Series)

Critical Thinking & Logic Mastery: 3 Books In 1: How to Make Smarter Decisions, Conquer Logical Fallacies, and Sharpen Your Thinking

Logic Workbook for Gritty Kids: Spatial reasoning, math puzzles, word games, logic problems, activities, two-player games. (The Gritty Little Lamb ... & STEM skills in kids ages 6, 7, 8, 9, 10.)

Información útil

Centro de ayuda

Todo en un solo lugar

Comprá con tranquilidad

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Productos Relacionados

Large Print Logic Puzzles: 50 Logic Grid Puzzles: Contains fun puzzles in font size 16pt (LARGE PRINT Brain Teaser Puzzle Books)

Beginner Kakuro Puzzle Book Large Print Easy 10x10: One Grid Per Page • Clear Spacious Layout • Confidence-Building Cross Sum Challenges • Solutions Included (Kakuro Logic Series)

Hard Kakuro Puzzle Book Large Print Advanced 10x10 Cross Sum Edition: One Grid Per Page • Clear Spacious Layout • Designed for Experienced Solvers • Solutions Included (Kakuro Logic Series)

Classic Kakuro Puzzle Book Large Print 10x10 Cross Sum Challenges: One Grid Per Page • Clear Spacious Layout • Balanced Difficulty for Confident Solvers • Solutions Included (Kakuro Logic Series)

2021 Codeword Puzzle Book: Great Codeword Logic Game Book With Large Print 80 Puzzles And Solutions As A Perfect Gift For Adult And Senior Mum Dad To Make Happiness In Your Solo time In 2021

Learning Logic

Logic Puzzles for Adults – Volume 3: Advanced Deduction, Hard Logic Grid Challenges

Deductive Logic

An Introduction To Traditional Logic: Classical Reasoning For Contemporary Minds

An Introduction to Logic and Scientific Method

Chronicles of Logic: 40 Story-Based Logic Grid Puzzles for Adults: Brain Teasing Adventures to Solve With Deductive Reasoning, Logic and Skill

Logic Puzzles for Adults: Easy Level – Relaxing Logic Grid Challenges

Otros Productos

An Introduction to Formal Logic

Socratic Logic: A Logic Text using Socratic Method, Platonic Questions, and Aristotelian Principles, Edition 3.1

Logic: Propositional Logic

Everybody [Transparent Pomegranate 2 LP]

Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)

Introductory Logic: The Fundamentals of Thinking Well Student Edition

Introduction to Logic

Logic: The Right Use of Reason in the Inquiry After Truth

Introduction to Logic

Logic For Dummies (For Dummies Series)

Critical Thinking & Logic Mastery: 3 Books In 1: How to Make Smarter Decisions, Conquer Logical Fallacies, and Sharpen Your Thinking

Logic Workbook for Gritty Kids: Spatial reasoning, math puzzles, word games, logic problems, activities, two-player games. (The Gritty Little Lamb ... & STEM skills in kids ages 6, 7, 8, 9, 10.)

Compra protegida

¿Cómo comprar?

Garantía de entrega

¿Cómo solicitar una devolución?

Los productos sin devolución son:

¿Cómo comprar?

Hacemos todo por ti

Tarjetas de Débito y Crédito

Pagos a través de PayPal

Tienes garantía de entrega

¡Suscribite y hacé que todo llegue con ofertas!