5673467
9781432704520
Logic in Arithmetic An introduction to mathematical logic and Peano Arithmetic, including Gentzen's consistency proof and the Paris-Harrington theorem.Scott, William F. is the author of 'Logic in Arithmetic', published 2007 under ISBN 9781432704520 and ISBN 1432704524.
[read more]