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 |