scientific article; zbMATH DE number 269621

MaRDI QIDQ5288465zbMATH OpenFDO

Authors Hartley Slater

Publication date 18 August 1993

zbMATH Keywords

Hilbert's epsilon calculusapplication to undergraduate logic teaching

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 3918515
• Computation of Hilbert functions
• A way of computing the Hilbert series
• scientific article; zbMATH DE number 1148278
• Calculus with the quantifier of elementary equivalence
• A new method for calculating Hilbert series
• The Berezin calculus
• scientific article; zbMATH DE number 4070869
• scientific article; zbMATH DE number 3036356
• The calculus of natural calculation

Cited in

(1)

• The grammar of Platonism

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