Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Springer - 2013
Pavel Pudlak