A78S01417/0
= ID
:
A78S01417/0
Role*type
:
au
←creator
:
姜成林
(au)
「
邏輯證明與檢驗眞理的標準
」
遼寧大學學報
1978-5
, pp.22~26,
1978年
mode=simple user= lang= XEmacs 21.4 (patch 22) "Instant Classic" [Lucid] (x86_64-unknown-linux, Mule) CHISE v0.25 (Ōkawara) of Sat May 20 2023 on ruimoku-backend