scientific article; zbMATH DE number 3455237

MaRDI QIDQ4041555zbMATH OpenFDO

Authors Clement F. Kent

Publication date 1974

Full work available at URL https://eudml.org/doc/16616

Mathematics Subject Classification ID

General logic (03B99) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Cited in

(1)

• Fixed point algebras

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 Q4041555)