Handbook of mathematical induction : theory and applications /
Includes bibliographical references and indexes
Main Author: | |
---|---|
Format: | |
Language: | eng |
Published: |
London : CRC,
2011
|
Subjects: |
_version_ | 1826445117508026368 |
---|---|
author | 507789 Gunderson, David S. |
author_facet | 507789 Gunderson, David S. |
author_sort | 507789 Gunderson, David S. |
collection | OCEAN |
description | Includes bibliographical references and indexes |
first_indexed | 2024-03-05T10:37:54Z |
format | |
id | KOHA-OAI-TEST:442696 |
institution | Universiti Teknologi Malaysia - OCEAN |
language | eng |
last_indexed | 2024-03-05T10:37:54Z |
publishDate | 2011 |
publisher | London : CRC, |
record_format | dspace |
spelling | KOHA-OAI-TEST:4426962020-12-19T17:16:01ZHandbook of mathematical induction : theory and applications / 507789 Gunderson, David S. London : CRC,2011engIncludes bibliographical references and indexesPSZJBLProof theoryInduction (Mathematics)Logic, Symbolic and mathematicalURN:ISBN:9781420093643 (hbk.) |
spellingShingle | Proof theory Induction (Mathematics) Logic, Symbolic and mathematical 507789 Gunderson, David S. Handbook of mathematical induction : theory and applications / |
title | Handbook of mathematical induction : theory and applications / |
title_full | Handbook of mathematical induction : theory and applications / |
title_fullStr | Handbook of mathematical induction : theory and applications / |
title_full_unstemmed | Handbook of mathematical induction : theory and applications / |
title_short | Handbook of mathematical induction : theory and applications / |
title_sort | handbook of mathematical induction theory and applications |
topic | Proof theory Induction (Mathematics) Logic, Symbolic and mathematical |
work_keys_str_mv | AT 507789gundersondavids handbookofmathematicalinductiontheoryandapplications |