A formalization of Wittgenstein's definition of natural numbers
Finna-recension
A formalization of Wittgenstein's definition of natural numbers
Sparad:
| Fysisk beskrivning |
[4], 18 sivua : kuvitettu ; 21 cm |
|---|---|
| Språk |
engelska |
| Originalverkets språk |
engelska |
| Beskrivning |
Sarjan päänimeke: Tutkimussarja / Helsingin teknillinen korkeakoulu. Laskentakeskus. |
| Förlag |
Espoo :
Helsinki University of Technology,
1977.
|
| Serie | Research report / Helsinki University of Technology. Computing Centre, ISSN 0355-7758; no 2 |
| Klassifikation | |
| Mer information | Jukka Korpela |
| ISBN |
951-751-000-4 nidottu |
| Hämta fulltext | |