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

Elastohydrodynamik Me- und Prfverfahren Betriebsverhalten von Reibungssystemen

$79.99

Frogs

$5.96

Caviar with Rum

$54.99

Respiratory Diseases in Cattle

$39.99

Evolution and Transitions in Complexity

$109.99

New Developments in the Cognitive Science of Religion

$139.99

Mediennutzung und Zeitbudget

$59.99

HIV/AIDS in Memory, Culture and Society

$139.99

Lufthygiene und Klima

$79.99

Winning at Litigation through Decision Analysis

$99.99

Cultural Psychology as Basic Science

$54.99

Mechanical Microsensors

$219.99

Untersuchungen ber den Muskel- und Kreatinstoffwechsel im gesunden und kranken Organismus

$59.99

Body, Soul and Cyberspace in Contemporary Science Fiction Cinema

$54.99

Plant Breeding in the Omics Era

$129.00

Membrane Reactors for Hydrogen Production Processes

$84.99

Entrepreneurship Skill Building

$139.99

Knowledge Discovery, Knowledge Engineering and Knowledge Management

$54.99

Ethical and Legal Issues in Human Resource Development

$99.00

Extreme Explosions

$39.99

Psychodrama

$39.99

Analytische Stellenalgebren

$54.99

Surgical Atlas of Cerebral Revascularization

$179.99

Grundlagen der Regelungstechnik

$59.99

Basic Clinical Anesthesia

$159.99

Applications of Stem Cells and derived Exosomes in Neurodegenerative Disorders

$199.99

Proceedings of the 2nd International Conference on Cognitive and Intelligent Computing

$379.99

Politische Bildung fr nachhaltige Entwicklung

$59.99

Cannabinoid Modulation of Emotion, Memory, and Motivation

$129.00

Cryocoolers 10

$169.00

Value Collection 6 (English & Bilingual): Ages 6 Months-5 Years

$126.80

Sustainability Assessment Tools in Higher Education Institutions

$169.99

Information Verification in the Digital Age

$22.99

Catalogue of Artificial Intelligence Tools

$109.99

Reflex Sympathetic Dystrophy

$84.99

Bakteriologie, Serologie und Sterilisation im Apothekenbetriebe

$49.99

Gebrauchsberlassung komplexer Konsumgter

$49.99

Electrokinetics and Electrohydrodynamics in Microsystems

$169.99

Lehrbuch der topographischen Anatomie fr Studierende und rzte

$99.99

Vergleich des normalen mit verschiedenen abgekrzten Baumwollspinnverfahren in Bezug auf Gleichmig

$59.99