edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces

De Gruyter c2015 Ontos mathematical logic / edited by Wolfram Pohlers ... [et al.] v. 5

所蔵館1館