SORT LOGIC AND FOUNDATIONS OF MATHEMATICS (Q5178531)
From MaRDI portal
scientific article; zbMATH DE number 6415572
Language | Label | Description | Also known as |
---|---|---|---|
English | SORT LOGIC AND FOUNDATIONS OF MATHEMATICS |
scientific article; zbMATH DE number 6415572 |
Statements
SORT LOGIC AND FOUNDATIONS OF MATHEMATICS (English)
0 references
16 March 2015
0 references
sort logic
0 references
second order logic
0 references
ZFC-like axioms
0 references