このページのURL

この文献を取り寄せる

<図書>
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert Willem Beth
(Synthese library)

出版者 Dordrecht, Holland : D. Reidel Publishing Co.
出版年 1962
大きさ xiv, 170 p. ; 23 cm
本文言語 英語
書誌ID 2003224234
NCID BA02011781 WCLINK

所蔵情報を非表示

総合図-書庫
116||B39f 06717029612



総合図-自動書庫
116.3||BET 01505813202



理数学図
BETH||20-F 01541470306



書誌詳細を非表示

一般注記 Includes bibliography
著者標目 *Beth, Evert Willem
件 名 LCSH:Logic, Symbolic and mathematical
分 類 LCC:BC135.B45
DC:164