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

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

Set Theory An Introduction to Independence Proofs, by Kenneth Kunen

Set Theory An Introduction To Independence Proofs by Kenneth Kunen 1988 Book PB

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

Introduction to Mathematical Proofs, Hardcover by Loehr, Nicholas A. Very Good

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