A Course in Mathematical Logic for Mathematicians

By Yuri I. Manin. 2009

78 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/dfb5b56da9660463212de0b1d9882169bea27097