Logicism, intuitionism, and formalism : what has become of them? / ed. by Sten Lindström ... [et al.]
| rdfs:label | "Logicism, intuitionism, and formalism : what has become of them? / ed. by Sten Lindström ... [et al.]" |
| schema:name | "Logicism, intuitionism, and formalism : what has become of them?" |
| schema:contributor | Lindström, Sten (1945-) |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"2009" |
| schema:about | Formalisme |
| logica | |
| Logica | |
|
<http:/ |
|
| Wiskunde | |
|
<http:/ |
|
| Intuïtionisme | |
| intuïtionisme (wiskunde) | |
|
schema:in |
"en" |
|
schema:is |
Synthese library : studies in epistemology, logic, methodology, and philosophy of science / manag. ed. Jaakko Hintikka |
| schema:isbn | "1402089252" |
| "9781402089251" | |
|
schema:number |
512 |
| schema:publication |
<https:/ |