- Author: Bruce M Kapron (editor)
- Language: English
- Year: 2023
- Author: Rolfe King
- Language: English
- Year: 2012
Proof Theory
pdf
- Author: Herman Ruge Jervell
- Language: English
- Year: 2013
- Author: Phillip H. Wiebe, Ted E. McVay, Phillip H. Wiebe
- Language: English
- Year: 2004
- Author: Joseph Bankard
- Language: English
- Year: 2013
- Author: Steven G. Krantz
- Language: English
- Year: 2022
Program Proofs
epub
- Author: K. Rustan M. Leino
- Language: English
- Year: 2023
- Author: Bennett Chow
- Language: English
- Year: 2023
- Author: Hans Rademacher (author) Otto Toeplitz (author) Herbert Zuckerman (Translator)
- Language: English
- Year: 2023