A. S. Troelstra – författare
Visar alla böcker från författaren A. S. Troelstra. Handla med fri frakt och snabb leverans.
2 produkter
Basic Proof Theory
Av A. S. Troelstra, H. Schwichtenberg
Häftad, 2000
756 kr
Lägg i varukorg
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as …
Basic Proof Theory
Av H. Schwichtenberg, A. S. Troelstra
E-bok, 2000
823 kr
Lägg i varukorg
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as …
