Title: Logical Foundations Of Mathematics And Computational Complexity A Gentle Introduction
Subjects: Logic, symbolic and mathematical, Computational complexity, Symbolic and mathematical Logic