1
Published 2006
Book
3
by Girard, Jean-Yves, 1947-
Published 2011
Book
5
by Francez, Nissim, 1944-
Published 2015
Book
6
by Gödel, Kurt, 1906-1978
Published 2015
Book
7
Book
10
by O'Leary, Michael L.
Published 2002
Book
11
by Walton, Douglas N., 1942-
Published 2014
Book
12
by Takeuti, Gaisi, 1926-2017
Published 2013
Book
14
by Loehr, Nicholas A.
Published 2020
Book
16
by Ono, Hiroakira, 1942-
Published 2019
Book
17
Published 2015
Book