Choice Principles and Constructive Logics† (Q4670607)
From MaRDI portal
scientific article; zbMATH DE number 2160641
Language | Label | Description | Also known as |
---|---|---|---|
English | Choice Principles and Constructive Logics† |
scientific article; zbMATH DE number 2160641 |
Statements
Choice Principles and Constructive Logics† (English)
0 references
22 April 2005
0 references
axiom of choice
0 references
constructive logics
0 references