BUILDING PROOFS : A Practical Guide /
Includes bibliographical and references
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
New Jersey : World Scientific Publishing,
2016
|
| Subjects: |
| _version_ | 1796757374799708160 |
|---|---|
| author | 209827 Oliveira, Suely Stewart, David E., (David Edward), 1961- |
| author_facet | 209827 Oliveira, Suely Stewart, David E., (David Edward), 1961- |
| author_sort | 209827 Oliveira, Suely |
| collection | OCEAN |
| description | Includes bibliographical and references |
| first_indexed | 2024-03-05T15:29:20Z |
| format | |
| id | KOHA-OAI-TEST:539445 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T15:29:20Z |
| publishDate | 2016 |
| publisher | New Jersey : World Scientific Publishing, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:5394452020-12-19T17:20:21ZBUILDING PROOFS : A Practical Guide / 209827 Oliveira, Suely Stewart, David E., (David Edward), 1961- New Jersey : World Scientific Publishing, 2016engIncludes bibliographical and referencesFTIRProof theoryLogic, Symbolic and mathematicalMathematicsURN:ISBN:9789814641296 |
| spellingShingle | Proof theory Logic, Symbolic and mathematical Mathematics 209827 Oliveira, Suely Stewart, David E., (David Edward), 1961- BUILDING PROOFS : A Practical Guide / |
| title | BUILDING PROOFS : A Practical Guide / |
| title_full | BUILDING PROOFS : A Practical Guide / |
| title_fullStr | BUILDING PROOFS : A Practical Guide / |
| title_full_unstemmed | BUILDING PROOFS : A Practical Guide / |
| title_short | BUILDING PROOFS : A Practical Guide / |
| title_sort | building proofs a practical guide |
| topic | Proof theory Logic, Symbolic and mathematical Mathematics |
| work_keys_str_mv | AT 209827oliveirasuely buildingproofsapracticalguide AT stewartdavidedavidedward1961 buildingproofsapracticalguide |