Logical Foundations of Mathematics and Computational Complexity - A Gentle Introduction

@inproceedings{Pudlk2013LogicalFO,
  title={Logical Foundations of Mathematics and Computational Complexity - A Gentle Introduction},
  author={Pavel Pudl{\'a}k},
  booktitle={Springer monographs in mathematics},
  year={2013}
}
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…