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

Bringing Down the Banking System

$109.99

Paediatric Endocrinology

$279.99

Counselling for Career Construction

$49.99

Ontology-Based Interpretation of Natural Language

$34.99

Mouse Mammary Tumor Virus

$54.99

Embedded Software Design and Programming of Multiprocessor System-on-Chip

$169.99

Teacher Beliefs as a Complex System: English Language Teachers in China

$54.99

Social Entrepreneurship in the Middle East

$109.99

Vietnam Over the Long Twentieth Century

$59.99

Swine Influenza

$129.00

Constructing Knowledge Art

$39.99

Technology and Contemporary Life

$54.99

Management verteilter Kompetenzen in multinationalen Unternehmen

$69.99

Die Gartenstadt

$39.99

A Case-Based Approach to Hip Pain

$89.99

Entwicklung eines Change Management Screening Instruments fr die Einfhrung von IT-Systemen

$34.99

Wildlife and Emerging Zoonotic Diseases: The Biology, Circumstances and Consequences of Cross-Specie

$219.99

Zur Staats- und Rechtsordnung der DDR

$74.99

SpaceX

$29.99

Sozialvertrgliche Technikgestaltung

$69.99

A Brief History of String Theory

$59.99

Globalization of Science and Technology: A Way for C.I.S. Countries to New Markets

$84.99

Wings of Fire: The Dark Secret (#4)

$6.74

Die rztliche Berufsausbung in den Grenzen der Qualittssicherung

$84.99

Exklusionsindividualitt

$59.99

Field Emission Electronics

$199.99

Bankenrating

$74.99

Preisbildung von Strom-Forwards

$64.99

Humangenetische Beratung

$89.00

Transformation of Japanese Multinational Enterprises and Business

$179.99

Fool's Gold?

$54.99

Deutsch-deutsche Beziehungen

$44.99

Geotectonic Evolution of China

$54.99

(Mis)Understanding Freud with Lacan, Zizek, and Neuroscience

$109.99

Wireless Mobile Communication and Healthcare

$39.99

Berufs Lexikon

$89.99

Fundamentals of Combustion Processes

$54.99

Frozen Charlotte

$6.71

Gemeinschaftsverpflegung

$44.99

Membrane Physiopathology

$219.99