scientific article; zbMATH DE number 3773580

MaRDI QIDQ3953759zbMATH OpenFDO

Authors Pier Luigi Ferrari

Publication date 1981

zbMATH Keywords

choice operatorHilbert's epsilon-operatorPeano's symbol

Mathematics Subject Classification ID

General logic (03B99) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Axiom of choice and related propositions (03E25) Relative consistency and interpretations (03F25)

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