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

Introduction

von Pavel Pudlák

Gebunden

ISBN-13: 978-3-319-00118-0

ISBN-10: 3-319-00118-3

Springer · 2013