|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
in00001694415 |
| 003 |
OCoLC |
| 005 |
20220616121039.0 |
| 008 |
920402t19921992caua b 001 0 eng |
| 010 |
|
|
|a 92013877
|
| 020 |
|
|
|a 0937073830 :
|c $45.95
|
| 020 |
|
|
|a 0937073822 (pbk.) :
|c $18.95
|
| 035 |
|
|
|a (OCoLC)25748321
|
| 040 |
|
|
|a DLC
|c DLC
|d EEM
|d UtOrBLW
|
| 049 |
|
|
|a EEMO
|
| 050 |
0 |
0 |
|a QA9.54
|b .U54 1992
|
| 090 |
|
|
|a QA9.54 .U54 1992
|
| 100 |
1 |
|
|a Ungar, A. M.
|q (Anthony M.),
|d 1945-
|0 http://id.loc.gov/authorities/names/n92037856
|
| 245 |
1 |
0 |
|a Normalization, cut-elimination, and the theory of proofs /
|c A.M. Ungar.
|
| 260 |
|
|
|a Stanford, CA :
|b CSLI,
|c [1992], ©1992.
|
| 300 |
|
|
|a v, 236 pages :
|b illustrations ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a CSLI lecture notes ;
|v no. 28
|
| 504 |
|
|
|a Includes bibliographical references (pages 229-233) and index.
|
| 650 |
|
0 |
|a Proof theory.
|0 http://id.loc.gov/authorities/subjects/sh85107437
|
| 830 |
|
0 |
|a CSLI lecture notes ;
|v no. 28.
|0 http://id.loc.gov/authorities/names/n84711499
|
| 907 |
|
|
|y .b27516295
|b 211113
|c 980609
|
| 998 |
|
|
|a rs
|b 980604
|c m
|d a
|e -
|f eng
|g cau
|h 0
|i 2
|
| 935 |
|
|
|a BBB0515
|
| 999 |
f |
f |
|i 50aa1bd5-a4c7-569b-abca-9961f3b3f178
|s 6b62624d-148a-5761-9fe5-e488fbf8eea6
|t 0
|
| 952 |
f |
f |
|p Can Circulate
|a Michigan State University-Library of Michigan
|b Michigan State University
|c MSU Remote Storage
|d MSU Remote Storage
|t 0
|e QA9.54 .U54 1992
|h Library of Congress classification
|i Printed Material
|m 31293002746661
|n 1
|
