TY  - GEN
TY  - GEN
T1  - A formalization of Wittgenstein's definition of natural numbers
T2  - Research report / Helsinki University of Technology. Computing Centre
A1  - Korpela, Jukka, 1952-
LA  - eng
PP  - Espoo
PB  - Helsinki University of Technology
YR  - 1977
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.3352950
NO  - Sarjan päänimeke: Tutkimussarja / Helsingin teknillinen korkeakoulu. Laskentakeskus.
SN  - 951-751-000-4 nidottu
ER  -