Artículo: AMZ-0691029067

Introduction to Mathematical Logic

Format:

Paperback

Paperback

eTextbook

Detalles del producto
Disponibilidad
En stock
Peso con empaque
0.64 kg
Devolución
No
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • A classic account of mathematical logic from a pioneering giant in the field 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 theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic, defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979. At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.
$217,66
44% OFF
$120,92

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

$217,66
44% OFF
$120,92

3 meses de gracia en diferidos y hasta 6 meses sin intereses con Pacificard

Envío gratis
Llega en 16 a 26 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja de USA a tus manos en

Conoce más detalles

Used Book in Good Condition