Intuitionism: An Introduction

A. S. TROELSTRA a₁ admissible sequence algebra Amsterdam 45 Amsterdam-London 1970 Annalen arithmetic assertion axioms b₁ Begründung Buffalo N.Y. canonical number-generators Cauchy sequence choice classical coincides components construction contains continuum contradiction contradictory convergent Dantzig deduced defined Definition denote detachable subspecies digits element elementary domain equations equivalent example exists fan-theorem finitary spread finite number follows formal system formula function f(x Griss Heyting Hilbert implies Indagationes math integer intuitionism Intuitionism and proof intuitionistic analysis intuitionistic logic irrational L. E. J. Brouwer lemma Logique mathématiques means measurable functions measurable region method Myhill natural number negation notion nth lattice-point order relation p₁ point q pointspecies Proc proof theory propositional calculus proved Q is measurable rational numbers rational point real number-generators real numbers region-complement Remark Rootselaar S-barred subspecies summable Summer Conf suppose Symbolic Logic tested Theorem twin primes vectors