Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth
Series: Synthese libraryPublication details: Dordrecht: D. Riedel Publishing, 1962Description: 170 p. : illus. ; 23 cmSubject(s):| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | BC135.B45 (Browse shelf(Opens below)) | n.1 | 1 | Available | 00000847252 | ||
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | - | BC135.B45 [00008001167] (Browse shelf(Opens below)) | n.2 | 1 | Available | 00000847223 |
Includes bibliography and index
There are no comments on this title.
Log in to your account to post a comment.