01112nam--2200349---450-99000322685020331620090424085315.0000322685USA01000322685(ALEPH)000322685USA0100032268520090424d1978----km-y0itay50------baengUS||||||||001yyTwo applications of logic to mathematicsGaisi Takeutis.l.Iwanami Shoten Publishers and Princeton University Presscopyr. 1978VIII, 137 p.23 cmPublications of the mathematical society of Japan132001Publications of the mathematical society of JapanLogica matematicaLogica simbolicaAlgebra booleana511.3TAKEUTI,Gaisi50858ITsalbcISBD990003226850203316510 POM 139361/CBS51000216280BKSCIRSIAV79020090424USA010853Two Applications of Logic to Mathematics339848UNISA