Omega-Bibliography of Mathematical Logic: Proof Theory, Constructive Mathematics

Omega-Bibliography of Mathematical Logic: Proof Theory, Constructive Mathematics

$47.00
{{option.name}}: {{selected_options[option.position]}}
{{value_obj.value}}

Proof theory ; constructive mathematics - Omega-Bibliography of Mathematical Logic. Vol. VI - ed. Jane E. Kister, Dirk van Dalen & Anne S. Troelstra. Publisher: Berlin ; New York ; Paris : Springer, cop. 1987 On Jul-13-21 at 10:35:37 PDT, seller added the following information: Listed with ExportYourStore.com

Show More Show Less