search materials(including e-books and e-journals) held by Hokkaido university.
search materials held by universities in Japan.
search information on academic articles published in Japan.
search NDL(National Diet Library) online, NDL Digitized Contents and "Aozora Bunko", materials of a Japanese digital library.
Search keyword：(Standard classification: QA29.T32)
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman
: hbk. - Cambridge, U.K. ; New York : Cambridge University Press , 2004