Biblioteca especializada / a domicilio.

Modernamente la Lógica se ha convertido en una materia no sólo profunda, sino de gran amplitud y aplicación a otras Ciencias. Sólo desde hace algunos años se han establecido relaciones sistemáticas entre la Lógica y la Matemática, formulándose una teoría de inferencia completamente explícita que se adecua a todos los ejemplos típicos del razonamiento deductivo en Matemáticas y a las Ciencias empíricas. En la mente de todos los matemáticos modernos está el concepto de axioma y la deducción de teoremas a partir de axiomas.

First course in mathematical logic.

Texto en español.