zbMATH — the first resource for mathematics

Extending the topological interpretation to intuitionistic analysis. II. (English) Zbl 0213.01203

Intuitionism Proof Theory, Proc. Summer Conf. Buffalo N.Y. 1968, 235-255 (1970).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page

03F55	Intuitionistic mathematics
03D35	Undecidability and degrees of sets of sentences

PDF BibTeX XML

any	anywhere	an	internal document identifier
au	author, editor	ai	internal author identifier
ti	title	la	language
so	source	ab	review, abstract
py	publication year	rv	reviewer
cc	MSC code	ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)