The nuts and bolts of proofs /
39
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Amsterdam : Elsevier Academic Press,
2005
|
| Subjects: |
| _version_ | 1826424760430493696 |
|---|---|
| author | 312353 Cupillari, Antonella |
| author_facet | 312353 Cupillari, Antonella |
| author_sort | 312353 Cupillari, Antonella |
| collection | OCEAN |
| description | 39 |
| first_indexed | 2024-03-05T05:35:51Z |
| format | |
| id | KOHA-OAI-TEST:342072 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T05:35:51Z |
| publishDate | 2005 |
| publisher | Amsterdam : Elsevier Academic Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3420722020-12-19T17:11:37ZThe nuts and bolts of proofs / 312353 Cupillari, Antonella Amsterdam : Elsevier Academic Press,2005eng3959PSZJBLProof theoryURN:ISBN:0120885093 (pbk.) |
| spellingShingle | Proof theory 312353 Cupillari, Antonella The nuts and bolts of proofs / |
| title | The nuts and bolts of proofs / |
| title_full | The nuts and bolts of proofs / |
| title_fullStr | The nuts and bolts of proofs / |
| title_full_unstemmed | The nuts and bolts of proofs / |
| title_short | The nuts and bolts of proofs / |
| title_sort | nuts and bolts of proofs |
| topic | Proof theory |
| work_keys_str_mv | AT 312353cupillariantonella thenutsandboltsofproofs AT 312353cupillariantonella nutsandboltsofproofs |