Introduction to Dependent Types With Idris : Encoding Program Proofs in Types...

Set Theory An Introduction to Independence Proofs, by Kenneth Kunen

Introduction to Mathematical Structures and Proofs (Undergraduate Texts in M...

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by

Set Theory An Introduction To Independence Proofs

How to Read and Do Proofs: An Introduction - Daniel Solow, 0471510041, paperback

Set Theory an Introduction to Independence Proofs: Volume 102 by Kunen, K.