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