Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Softcover

Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.

 
9780857298096: Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Softcover
ISBN 10: 0857298097 ISBN 13: 9780857298096
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

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

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
0857298097
ISBN 13 
9780857298096
Binding
Paperback

Other Popular Editions of the Same Title

9780857298072: Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Featured Edition

ISBN 10:  0857298070 ISBN 13:  9780857298072
Publisher: Springer, 2011
Hardcover