Proof Complexity (Encyclopedia of Mathematics and its Applications, Band 170) (Encyclopedia of Math and its Applications, 170, Band 170) - Hardcover

Buch 173 von 188: Encyclopedia of Mathematics and its Applications

Krají¿ek, Jan

 
9781108416849: Proof Complexity (Encyclopedia of Mathematics and its Applications, Band 170) (Encyclopedia of Math and its Applications, 170, Band 170)
Hardcover
ISBN 10: 1108416845 ISBN 13: 9781108416849
Verlag: Cambridge University Pr., 2019

Inhaltsangabe

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Jan Krají¿ek is Professor of Mathematical Logic in the Faculty of Mathematics and Physics at Charles University, Prague. He is a member of the Academia Europaea and of the Learned Society of the Czech Republic. He has been an invited speaker at the European Congress of Mathematicians and at the International Congresses of Logic, Methodology and Philosophy of Science.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Pr.
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
1108416845
ISBN 13 
9781108416849
Einband
Gebundene Ausgabe
Anzahl der Seiten
534
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland