Building proofs :
by Oliveira, Suely,
Additional authors: Stewart, David, -- 1961- -- author.
Physical details: x, 164 pages : illustrations ; 24 cm
ISBN: 9789814641296; 9814641294; 9789814641302; 9814641308.
Subject(s):
Proof theory.
|
Logic, Symbolic and mathematical.
|
Mathematics.
| Item type | Location | Call number | Status | Date due |
|---|---|---|---|---|
| كتاب |
Dau Central Library Male
|
511.36 O B (Browse shelf) | Available |
Includes bibliographical (page 159) and index.
There are no comments for this item.