scientific article; zbMATH DE number 3859084

MaRDI QIDQ3328510zbMATH OpenFDO

Authors Christine Froidevaux

Publication date 1983

Full work available at URL http://www.numdam.org/item?id=MSH_1983__84__65_0, https://eudml.org/doc/94297

zbMATH Keywords

axiom of choiceepsilon-operatorproof theorytau-operatorvariable binding term operator

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Axiom of choice and related propositions (03E25) Proof theory and constructive mathematics (03F99)

Recommendations

• Hilbert's and in proof theory: a proof-theoretical representation of universal and existential statements
• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Epsilon substitution method for elementary analysis
• Computer Science Logic
• scientific article; zbMATH DE number 3300566

Cited in

(4)

• Hilbert's \(\varepsilon{}\)-operator and classical logic
• scientific article; zbMATH DE number 69310 (Why is no real title available?)
• Hilbert's and in proof theory: a proof-theoretical representation of universal and existential statements
• scientific article; zbMATH DE number 3300566 (Why is no real title available?)

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