Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Computational Logic and Set Theory

Computational Logic and Set Theory

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780857298072
Condition
New
Product Description

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the tnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorns lemma.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Digitale Schaltungstechnik

$44.99

Dynamic Chemistry

$39.99

IDIHOM: Industrialization of High-Order Methods - A Top-Down Approach

$109.99

Climate Engineering as an Instance of Politicization

$109.99

Sterne

$79.99

The Physics of Skiing

$84.99

Le Cycles and Hypersurface Singularities

$29.99

Rehabilitationsprogramm nach Knieoperationen

$49.99

Economic Efficiency of the Organizational Decisions of the Firm

$54.99

Coronary Angioplasty: A Controlled Model for Ischemia

$169.00

Geological Landscapes of Britain

$129.00

Dnndarm A

$54.99

Exotische Krankheiten

$44.99

Family Business Values

$32.99

Interventionskultur

$39.99

Soul Mate Biology

$119.99

Discovering the Spirit of Ubuntu Leadership

$89.00

Logic-Driven Traffic Big Data Analytics

$139.99

From Revolutionary Movements to Political Parties

$54.99

Theoretical Challenges in the Dynamics of Complex Fluids

$169.99

The Economics of Crime and Law Enforcement

$44.99

Gesture and Sign Language in Human-Computer Interaction

$54.99

Steigern des Niveaus in der Verbzweitstellungstherapie

$69.99

The Oral Microbiome

$169.99

Guide to Computing for Expressive Music Performance

$54.99

Handlungsorientierte Seniorenbildung

$69.99

Millimetre and Submillimetre Astronomy

$129.00

Amerikanische Literaturgeschichtsschreibung

$119.99

Interdisciplinary Research for Printing and Packaging

$299.99

2nd International Workshop on Evidence-based Technology Enhanced Learning

$169.99

Inside Plea Bargaining

$109.99

Discrete Geometry for Computer Imagery

$109.99

New Methods of Concurrent Checking

$109.99

Functional Observers for Dynamical Systems

$109.99

Cosmopolitanisms and Latin America

$54.99

Die urologischen Komplikationen des Collum-Carcinoms

$59.99

Murder on the Einstein Express and Other Stories

$19.99

From a Geometrical Point of View

$219.99

Orthogonal Polynomials for Exponential Weights

$54.99

Computers in Life Science Research

$39.99