Logiques construite par une methode de deduction naturelle
Häftad bok. 190 sidor.
Hyggligt skick. Collection de logique mathematique. Les methode dites "de deduction naturelle" mise au point pour la premiere fois par Lite bucklig i nedre delen. Gerhard Gentzen dans soncelebre memoires de 1934, ont sans dout conquis la faveur de nombreux logiciens parmis les plus eminents, mais elles n'ont pas encore recu la place qu'elle meritent dans les ouvrages generaux qui s'adressent au large public.