Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Tapa blanda

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.