Term Logic with Choice Operator W18NWZQXC5
| URI | m2://res/W18NWZQXC5 |
|---|---|
| Kind | monograph |
| Creators | Hans Hermes |
| Date | 1970 |
| MSC | 03B22, 03B10 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1970 |
| Ids | DOI 10.1007/978-3-540-36203-6, zbl 0205.00401, zbl_id 3325538 |
- m1: print, Springer Berlin Heidelberg, 1970 (record). isbn 9783540048992, isbn 9783540362036
Relations
- part_of Lecture Notes in Mathematics
Catalogue records
- springer-series: 10.1007/978-3-540-36203-6 (work)
- zbmath_search: 3325538 (work)