LEADER 00000nam 2200205 a 4500
001 0389008
003 UkHlHU
007 t
008 002508 1 1962 000 eng
040 UkHlHU
050 4 BC 135 B5
100 0 Beth, Evert Willem.
245 00 Formal methods :|ban introduction to symbolic logic.
260 Dordrecht :|bReidel,|c1962.
300 170p.
650 0 Logic|xMathematics.
946 650 |a & |x subfields only. In at least one case all
subfields comprise single words only -- Check for Geac
subject headings
946 650 has non-LCSH elements -- Check for Geac subject
headings
|