Logic : form and function; the mechanization of deductive reasoning /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Edinburgh : Edinburgh University Press,
1979
|
| Subjects: |
| _version_ | 1796660507127578624 |
|---|---|
| author | 364822 Robinson, J. A. |
| author_facet | 364822 Robinson, J. A. |
| author_sort | 364822 Robinson, J. A. |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T16:19:04Z |
| format | |
| id | KOHA-OAI-TEST:76770 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T16:19:04Z |
| publishDate | 1979 |
| publisher | Edinburgh : Edinburgh University Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:767702020-12-19T17:00:21ZLogic : form and function; the mechanization of deductive reasoning / 364822 Robinson, J. A. Edinburgh : Edinburgh University Press,197941PSZJBLForms (Mathematics)URN:ISBN:0852243057 |
| spellingShingle | Forms (Mathematics) 364822 Robinson, J. A. Logic : form and function; the mechanization of deductive reasoning / |
| title | Logic : form and function; the mechanization of deductive reasoning / |
| title_full | Logic : form and function; the mechanization of deductive reasoning / |
| title_fullStr | Logic : form and function; the mechanization of deductive reasoning / |
| title_full_unstemmed | Logic : form and function; the mechanization of deductive reasoning / |
| title_short | Logic : form and function; the mechanization of deductive reasoning / |
| title_sort | logic form and function the mechanization of deductive reasoning |
| topic | Forms (Mathematics) |
| work_keys_str_mv | AT 364822robinsonja logicformandfunctionthemechanizationofdeductivereasoning |