scientific article; zbMATH DE number 4210137

MaRDI QIDQ3358732zbMATH OpenFDO

Authors Dragoş Vaida, Cristian S. Calude

Publication date 1989

zbMATH Keywords

Bishop Constructive MathematicsBrower-Bishop Limited Principle of OmniscienceEhrenfeucht Test Set TheoremHilbert Basis Theorem

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 4091490
• Church's thesis and Bishop's constructivism
• scientific article; zbMATH DE number 1163435
• scientific article; zbMATH DE number 1302878
• scientific article; zbMATH DE number 1121775

Cited in

(2)

• scientific article; zbMATH DE number 4091490 (Why is no real title available?)
• Variations on Noetherianness

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3358732)