books.google.com - Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the...https://books.google.com/books/about/Introduction_to_Mathematical_Logic.html?id=JDLQOMKbdScC&q=primitive+symbols&utm_source=gb-gplus-shareIntroduction to Mathematical Logic

Get this book in print

1 ReviewWrite reviewhttps://books.google.com/books/about/Introduction_to_Mathematical_Logic.html?id=JDLQOMKbdScC |

Pages displayed by permission of Princeton University Press. Copyright. |