Normal view
MARC view
Beth Evert W(Personal Name)
Machine generated authority record.
Work cat.: (OSt)117397: Beth Evert W., Formal methods: An introduction to symbolic logic ...