We found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleLogical Foundations of Mathematics and Computational Complexity : A Gentle IntroductionAuthorsPavel PudlákISBN9783319001180Publication typeeBookPublication date2013