First-order logic /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
NY : Springer-Verlag,
1968
|
| Subjects: |
| _version_ | 1826432547426402304 |
|---|---|
| author | 323371 Smullyan, Raymond M. |
| author_facet | 323371 Smullyan, Raymond M. |
| author_sort | 323371 Smullyan, Raymond M. |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-05T07:32:29Z |
| format | |
| id | KOHA-OAI-TEST:380902 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-05T07:32:29Z |
| publishDate | 1968 |
| publisher | NY : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3809022020-12-19T17:13:17ZFirst-order logic / 323371 Smullyan, Raymond M. NY : Springer-Verlag,196841PSZJBLLogic, Symbolic and mathematicalURN:ISBN:0387040994 |
| spellingShingle | Logic, Symbolic and mathematical 323371 Smullyan, Raymond M. First-order logic / |
| title | First-order logic / |
| title_full | First-order logic / |
| title_fullStr | First-order logic / |
| title_full_unstemmed | First-order logic / |
| title_short | First-order logic / |
| title_sort | first order logic |
| topic | Logic, Symbolic and mathematical |
| work_keys_str_mv | AT 323371smullyanraymondm firstorderlogic |