scientific article

zbMath0769.03033MaRDI QIDQ4029339

Alain Prouté

Publication date: 29 March 1993

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1992__33_3_279_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Axiom of Choicesubtypesquotient typesindeterminate expressions

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cites Work

• Axiom of Choice and Complementation
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Unnamed Item
• Unnamed Item

This page was built for publication: