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

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

Brossura

ISBN 10: 0857298097 ISBN 13: 9780857298096

Casa editrice: Springer, 2011

Al momento non sono disponibili copie per questo codice ISBN.

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore: Springer
Data di pubblicazione: 2011
Lingua: Inglese
ISBN 10: 0857298097
ISBN 13: 9780857298096
Rilegatura: Taschenbuch
Contatto del produttore: non disponibile
Persona responsabile: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania