No label defined (Q4227553)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1254485
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1254485 |
Statements
26 May 1999
0 references
definitionist programme of predicativist mathematics
0 references
liberalized version
0 references
nominalism
0 references
predicative flexible type theory
0 references
modal-structuralism
0 references
0.7368568181991577
0 references
0.7216843962669373
0 references
0.7207332849502563
0 references
