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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Reshaping the Economic Cooperation Pattern of the Belt and Road Initiative

$129.99

Foreign Direct Investment in South Asia

$109.99

Nanoparticles from the Gasphase

$84.99

RoboCup 2000: Robot Soccer World Cup IV

$39.99

Disability Servitude

$119.99

Zur Aktualitt von Ralf Dahrendorf

$39.99

Comprehensive Healthcare Simulation: Mobile Medical Simulation

$109.00

The Anatomy of Idealism

$109.99

The Economic Development of China

$84.99

Ausbildungskompa Rechtsanwalts- und Notarfachangestellte

$54.99

Cell Movement and Cell Behaviour

$109.99

Dog Man: Dog Man and Cat Kid (#4) (Hardcover)

$12.74

System Familie und Geistige Behinderung

$64.99

Grundlagen des Innovationsmanagements

$17.99

Fhrung auf den Punkt gebracht

$29.99

Justus von Liebig

$89.99

Fuzzy Logic and the Internet

$169.99

Interaction of Charged Particles with Solids and Surfaces

$39.99

Nuclear Fuel Cycle

$64.99

Ideas for Chinas Future

$139.99

Wettlauf um die Frauen

$39.99

Paradigma Politische Kultur

$59.99

Fundamentals of Computational Fluid Dynamics

$69.99

Organelles in Eukaryotic Cells

$39.99

Numerische Mathematik Differentialgleichungen Approximationstheorie

$49.99

Mass Transfer Dynamics of Contaminants in Fractured Media

$179.99

How Nations Succeed: Manufacturing, Trade, Industrial Policy, and Economic Development

$79.99

Cultures of Comics Work

$109.00

Cytokines, Stress, and Depression

$219.99

Mobile Communications

$129.00

Computergesttzter organisationaler Wissenstransfer und Wissensgenerierung

$44.99

Inductive Logic Programming

$39.99

Immunology and Its Impact on Infections in Surgery

$109.99

Intelligent Information and Database Systems

$54.99

The Internet Challenge: Technology and Applications

$109.99

Approximate Identities and Factorization in Banach Modules

$34.99

Ecology and Conservation of Butterflies

$169.99

Mikrocontroller

$29.99

The Physiology of Microalgae

$259.00

Geometry of PDEs and Related Problems

$44.99