Introduction to Mathematical Logic (PMS-13), Volume 13 /
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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Princeton, NJ :
Princeton University Press,
[2016]
|
Colección: | Princeton Mathematical Series ;
13 |
Temas: | |
Acceso en línea: | Texto completo Texto completo |