Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction - Couverture souple

Pudlák, Pavel

 
9783319342689: Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Synopsis

This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783319001180: Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Edition présentée

ISBN 10 :  3319001183 ISBN 13 :  9783319001180
Editeur : Springer International Publishin..., 2013
Couverture rigide