Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák

Date : 2013

Editeur / Publisher : Cham : Springer , cop. 2013

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-3-319-00118-0

EAN : 9783319001180

Logique mathématique

Logique informatique

Pudlák, Pavel (1952-....) (Auteur / author)

Collection : Springer monographs in mathematics / Berlin : Springer , 1997-

Relation : Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction / by Pavel Pudlák. / 1st ed. 2013. / Cham : Springer International Publishing