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

Logical Foundations of Mathematics and Computational Complexity

Logical Foundations of Mathematics and Computational Complexity

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

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areas are connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability. Emphasis is on explaining the essence of concepts and the ideas of proofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to more difficult ones. The notes after each section present some formal definitions, theorems and proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who are interested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory.

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

Single Product Purchase

$149.00
@ 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
$149.00 $149.00

$149.00
See Site In stock Visit Store

Similar Products

Algebraische Grundlagen der Informatik

$44.99

Sprecherunabhngigkeit und Sprecheradaption

$69.99

Generalized Solutions of First Order PDEs

$84.99

Data Mining Methods for Knowledge Discovery

$169.99

Safety of Meat and Processed Meat

$219.99

Tourist Destination Management

$219.99

Visual Complexity and Intelligent Computer Graphics Techniques Enhancements

$109.99

Theorie der Steinschen Rume

$54.99

National Geographic Kids Readers: Water

$3.71

Strategisches Controlling

$69.95

Critical Leadership Theory

$84.99

Portuguese Colonial Military in India

$49.99

Fllstandsmessung flssiger Metalle, insbesondere von Eisen, unter Atmosphrenbedingungen mit elektr

$59.99

Smart Computer Vision

$149.00

Neurogastroenterology - From the Basics to the Clinics

$329.99

Vertrauen in Wirtschaftsprfer

$74.99

The Fukushima Daiichi Nuclear Accident

$169.99

Grundlagen der Public Relations

$19.99

Medical Robotics

$159.99

Betriebssoziologie

$59.99

Organic Farming, Prototype for Sustainable Agricultures

$249.99

Daily Word Ladders Content Areas Grades 4-6

$14.99

Vision as Process

$169.99

Deep In-memory Architectures for Machine Learning

$54.99

Security of Data and Transaction Processing

$109.99

Capitalism and the Dark Forces of Time and Ignorance

$59.99

Effiziente Grenzen der Unternehmung

$64.99

The Philosophy of Mathematics Education

$19.99

The Relational Governance of Artificial Intelligence

$129.99

Financial Reform in Central and Eastern Europe

$169.99

Logic, Language, and Computation

$39.99

Funktionslogiken organisierten freiwilligen Engagements

$74.99

Erinnern mssen und Vergessen drfen

$69.99

Euglena

$109.99

Medikalisierung und Soziale Arbeit

$79.99

Cleft Maxillary Reconstruction

$169.99

Geschlechterunterschiede in der Bildungswahl

$44.99

Standard Relational and Network Database Languages

$54.99

Bioreaction Engineering Principles

$84.99

Chromatin Protocols

$89.00