Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Eugenio G Omodeo, Jacob T. Schwartz, Domenico Cantone, et al.

Book Overview

Introduction

Propositional and Predicate-Calculus Preliminaries

A Survey of Inference Mechanisms

More on the Structure of the Verifier System

A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book

Undecidability and Unsolvability

• Format: Hardcover
• Language: English
• ISBN: 0857298070
• ISBN13: 9780857298072
• Release Date: July 2011
• Publisher: Springer
• Length: 416 Pages
• Weight: 1.65 lbs.
• Dimensions: 1.5" x 6.4" x 9.3"