Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction / by Pavel Pudlák.

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 fou...

Full description

Saved in:
Bibliographic Details
Main Author: Pudlák, Pavel (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Springer Monographs in Mathematics,
Springer eBook Collection.
Subjects:
Mathematical logic.
Algorithms.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items