Kushner: Kurt Gödel and the constructive mathematics of A. A. Markov

previous :: next

Kurt Gödel and the constructive mathematics of A. A. Markov

Boris A. Kushner

Source: Petr Hájek, ed., Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings (Berlin: Springer-Verlag, 1996), 50-63.

First Page: Show

Full-text: Open access

PDF File (1869 KB)

Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.lnl/1235417014

previous :: next

back to Table of Contents

2013 © Association for Symbolic Logic

Lecture Notes in Logic

ASL LNL Home

Lecture Notes in Logic