Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Couverture souple

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

 
9780857298096: Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Couverture souple
ISBN 10 : 0857298097 ISBN 13 : 9780857298096
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
0857298097
ISBN 13 
9780857298096
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  0857298070 ISBN 13 :  9780857298072
Editeur : Springer London Ltd, 2011
Couverture rigide