Tools

LEADER 01311cam a22003498a 4500

001 ocm21948699;

005 20141212082603.0;

008 900612s1990 gw a b 000 0 eng ;

010 a| 90010551;

020 a| 3540528490 (Springer-Verlag Berlin Heidelberg New York) :c| DM33.00;

020 a| 0387528490 (Spring-Verlag New York Berlin Heidelberg);

035 a| (Sirsi) o21948699;

035 a| (OCoLC)21948699;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA9.54b| .G37 1990;

082 00 a| 511.32| 20;

100 1 a| Gasteren, A. J. M.q| (Antonetta J. M.) van,d| 1952-?| UNAUTHORIZED;

245 10 a| On the shape of mathematical arguments /c| A.J.M. van Gasteren.;

300 a| viii, 180 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 445;

504 a| Includes bibliographical references.;

650 0 a| Proof theory.=| ^A27801;

830 0 a| Lecture notes in computer sciencev| 445.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 384991;

999 a| QA9.54.G37 1990w| LCc| 1i| 30372005801649d| 1/31/2013e| 9/21/2008l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 5/20/1991x| BOOKz| JSTACKSo| .STAFF. 0;

On the shape of mathematical arguments / A.J.M. van Gasteren.

Author/creator	Gasteren, A. J. M., 1952-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1990.
Description	viii, 180 pages : illustrations ; 25 cm.
Subjects	Proof theory.

Series	Lecture notes in computer science ; 445 Lecture notes in computer science 445. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	90010551
ISBN	3540528490 (Springer-Verlag Berlin Heidelberg New York) :
ISBN	0387528490 (Spring-Verlag New York Berlin Heidelberg)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.54.G37 1990	✔ Available	Place Hold

On the shape of mathematical arguments / A.J.M. van Gasteren.

Click here for more information about this title

Availability