scientific article; zbMATH DE number 1950269

MaRDI QIDQ4412867zbMATH OpenFDO

Authors Claus-Peter Wirth

Publication date 17 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2381/23810298.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic of natural languages (03B65) Logic in computer science (03B70) Structure of proofs (03F07)

Cited in

(1)

• Hilbert's epsilon as an operator of indefinite committed choice

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