Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Dans ce livre, qui constitue le premier volume de son trilogie sur la vérité, la preuve et les théorèmes limitatifs de la logique mathématique, l’auteur s’engage à développer une introduction lucide et subtile à la logique moderne, qui éclaire les concepts de base de cette logique mathématisée, ainsi que ses théorèmes non limitatifs (complétude) et ceux limitatifs (incomplétude et indéfinissabilité). Pour chaque concept, il explique son évolution historique et clarifie ses rôles dans l’étude des rapports entre syntaxe et sémantique, voire entre la notion de preuve et celle de vérité.