How to read and do proofs an introduction to mathematical thought processes
Saved in:
Main Author: | |
---|---|
Format: | Book |
Published: |
Hoboken, N.J.
Wiley
2010
|
Edition: | 5th ed |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-443065 | ||
020 | # | # | |a 9780470392164 (pbk.) |
020 | # | # | |a 0470392169 (pbk.) |
040 | # | # | |a DLC |d ITMB |
090 | 0 | 0 | |a QA9.54 |b .S65 2010 |
100 | 1 | # | |a Solow, Daniel |
245 | 1 | 0 | |a How to read and do proofs |b an introduction to mathematical thought processes |c Daniel Solow |
250 | # | # | |a 5th ed |
260 | # | # | |a Hoboken, N.J. |b Wiley |c 2010 |
300 | # | # | |a xviii, 301 p. |b ill. |c 23 cm |
504 | # | # | |a Includes bibliographical references and index |
526 | 0 | # | |a MAT422 |b CS240 |5 CS |
526 | 0 | # | |a Mathemathical Logic and Proving Techniques Asia |b Sarjana Muda Teknologi Maklumat |5 Faculty of Science Computer & Mathematic Faculty of Science Computer & Mathematic |
650 | # | 0 | |a Proof theory |v Textbooks |
650 | # | 0 | |a Logic, Symbolic and mathematical |v Textbooks |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=443065 |
964 | # | # | |c BOK |d CS |
998 | # | # | |a 00250##a002.5.2||00250##b002.5.3||00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1|| |