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

Couverture souple

ISBN 10 : 3319342681 ISBN 13 : 9783319342689

Editeur : Springer International Publishing AG, 2016

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

10 Neuf

De EUR 162,51

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.

�diteur: Springer International Publishing AG
Date d'�dition: 2016
Langue: anglais
ISBN 10: 3319342681
ISBN 13: 9783319342689
Reliure: Broch�
Nombre de pages: 695
Coordonn�es du fabricant: non disponible

Acheter neuf

Afficher cet article

EUR 162,51

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

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

R�sultats de recherche pour Logical Foundations of Mathematics and Computational...

Image fournie par le vendeur

Logical Foundations of Mathematics and Computational Complexity

Pavel Pudl�k

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319342681 ISBN 13 : 9783319342689

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents a wide range of results in logic and computational complexity Explains the topic informally and then in more detail for the advanced reader Presents the ideas behind the theoretical conceptsThe two main themes of this book, lo. N� de r�f. du vendeur 448745927

Contacter le vendeur

Acheter neuf

EUR 162,51

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Pudl�k, Pavel

Edit� par Springer, 2016

ISBN 10 : 3319342681 ISBN 13 : 9783319342689

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319342689_new

Contacter le vendeur

Acheter neuf

EUR 192,81

Autre devise

Frais de port : EUR 4,67

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction

Pavel Pudl�k

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319342681 ISBN 13 : 9783319342689

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9783319342689

Contacter le vendeur

Acheter neuf

EUR 192,59

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logical Foundations of Mathematics and Computational Complexity

Pavel Pudl�k

Edit� par Springer International Publishing Aug 2016, 2016

ISBN 10 : 3319342681 ISBN 13 : 9783319342689

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 712 pp. Englisch. N� de r�f. du vendeur 9783319342689

Contacter le vendeur

Acheter neuf

EUR 192,59

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logical Foundations of Mathematics and Computational Complexity

Pavel Pudl�k

Edit� par Springer International Publishing, Springer International Publishing Aug 2016, 2016

ISBN 10 : 3319342681 ISBN 13 : 9783319342689

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch. N� de r�f. du vendeur 9783319342689

Contacter le vendeur