Tools

LEADER 01638cam 2200373Ia 4500

001 ocm11803310;

005 20141212074536.0;

008 850314s1984 wb a b 100 0 eng d;

020 a| 038713901X (U.S.);

035 a| (Sirsi) o11803310;

035 a| (OCoLC)11802118;

040 a| VPIc| VPId| EREd| UtOrBLW;

049 a| EREEa| EREE;

090 a| QA3b| .L28 no. 1104;

111 2 a| Logic Colloquiumd| (1983 :c| Aachen, Germany)?| UNAUTHORIZED;

245 10 a| Computation and proof theory :b| proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II /c| edited by M.M. Richter[and others].;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1984.;

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

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in mathematics ;v| 1104;

500 a| "Part I, published in LNM vol. 1103"--p. [vii];

504 a| Includes bibliographies.;

650 0 a| Proof theoryv| Congresses.=| ^A27801;

650 0 a| Computational complexityv| Congresses.=| ^A82337;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Richter, Michael M.,d| 1938-=| ^A191422;

830 0 a| Lecture notes in mathematics (Springer-Verlag)v| 1104.=| ^A496146;

919 a| BOOK;

590 a| Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28.;

596 a| 1;

998 a| 262943;

999 a| QA3 .L28 NO. 1104w| LCc| 1i| 30372003602684d| 1/24/2013e| 4/5/1993f| 1/24/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/7/1989x| BOOKz| JSTACKSo| .STAFF. 0;

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter[and others].

Author/creator	Logic Colloquium
Other author	Richter, Michael M., 1938-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1984.
Description	viii, 475 pages : illustrations ; 25 cm.
Subjects	Proof theory--Congresses. Computational complexity--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in mathematics ; 1104 Lecture notes in mathematics (Springer-Verlag) 1104. ^A496146
Local note	Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28.
General note	"Part I, published in LNM vol. 1103"--p. [vii]
Bibliography note	Includes bibliographies.
ISBN	038713901X (U.S.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA3 .L28 NO. 1104	✔ Available	Place Hold

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II / edited by M.M. Richter[and others].

Click here for more information about this title

Availability