TY - BOOK AU - Takeuti,Gaisi TI - Two applications of logic to mathematics /by Gaisi Takeuti T2 - Publications of the Mathematical Society of Japan SN - 9781400871346 AV - QA9 .T863 1978 PY - 1978/// CY - Tokyo [Japan] PB - Iwanami Shoten KW - Logic, Symbolic and mathematical KW - Algebra, Boolean KW - Electronic Books N1 - 2; 2; b UR - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=948667&site=eds-live&custid=s3260518 ER -