container

mega-menu

Would you like to go to the Gale {{RECOMMENDED_COUNTRY}} site instead?

It looks like you're visiting from {{DETECTED_COUNTRY}}.

main

Browse by Institution Type

Browse by Product Type

Products

Support

Account Information

bundle-connector

products

footer-legal-menu

Terms of use

Privacy

Marketing materials, training documents, discovery services

cengage:card

FIND YOUR SALES REPRESENTATIVE

cengage:column

Get marketing materials, training documents, discovery services.

PRODUCT SUPPORT

CUSTOMER SUPPORT

Report technical issues, errors, check system status

TECHNICAL SUPPORT

Manage product preferences, generate usage reports, simplify administrative tasks.

ADMIN TOOLS

support

single-column

cengage:galethorndikeseo

zone2

footer

footer-legal-menu-component

secondary-primary-menu

header

footer-social-menu-component

zone3

gale-footer

About Us

Blogs

Press Center

Events

News

Careers

Our Company

Request a Trial

config

FIND YOUR REP

support-order-2

header-component

footer-menu

Academic Institutions

K-12

Public Libraries

Government and Special Libraries

Statewide Programs

Institutions

Databases

Primary Sources

Digital Humanities Tools

eLearning

Schools/K-12 Curriculum

Books

Large Print Books by Thorndike Press

Find Your Rep

Product Support

Technical Support

Customer Support

Admin Tools

Accessibility Policy

Partnerships

Contact Us

%1 products have been added to your cart but %2 have been backordered and will be fulfilled when stock is available

Product on backorder

Current quantity limit is [maxProductQuantity], please, navigate to the cart page and change quantity of product

You will be able to resubmit promo in ${countdown} seconds. test

Please note that the taxes displayed on our website are estimated and subject to adjustment. The actual tax charges will be determined and settled during the final invoicing of your order

product-detail-component

secondary-account-menu

Profile

Orders

Wish List

Fast Order Entry

My Account

zone1

footer-social-menu

Sign Up for Emails

CONNECT WITH GALE

Stay up-to-date with the latest Gale news, exclusive offers, and more.

facebook

linkedin

instagram

youtube

SOCIAL ICONS

You may already have access to Gale content through your institution.

STUDENTS AND RESEARCHERS

support-order-1

secondary-storefront-menu

International

North America

China

Japan

Latin America

Brazil

Region

Set your region:

footer-menu-component

Logical Foundations of Mathematics and Computational Complexity

SMM: LOGICAL FOUNDATIONS MATHEMATICS & CMPTTNL CMPLXTY

Mathematics

Mathematics & Science

Gt Product Group

Binding Format

Marketing Imprint Name

B2B GT

CL Carton Count

Imprint Name

B2B & B2C

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.

POST SECONDARY FOUR YEAR

COLFR

COLJR

COLSO

COLSR

Duration

Duration Unit Of Measure

Transaction Type

Front Cover.
Other Frontmatter.
Title Page.
Copyright Page.
Dedication.
Preface.
Acknowledgements.
Contents.
1: Mathematician&#x0027;s World.
2: Language, Logic and Computations.
3: Set Theory.
4: Proofs of Impossibility.
5: The Complexity of Computations.
6: Proof Complexity.
7: Consistency, Truth and Existence.
Bibliographical Remarks.
References.
Name Index.
Subject Index.
Symbols and Abbreviations.

Logical Foundations of Mathematics and Computational Complexity.css-1p8rvzy{position:absolute;padding-left:8px;}

Logical Foundations of Mathematics and Computational Complexity