|
|
|
|
| LEADER |
00000pam a22000004a 4500 |
| 001 |
b3289566 |
| 003 |
CoU |
| 005 |
20010313143841.0 |
| 008 |
000314s2000 nyu b 001 0 eng |
| 010 |
|
|
|a 00035703
|
| 020 |
|
|
|a 0306463946
|
| 035 |
|
|
|a (OCoLC)ocm43701580
|
| 040 |
|
|
|a DLC
|c DLC
|d C#P
|d UKM
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a CODQ
|
| 050 |
0 |
0 |
|a QA9.47
|b .M56 2000
|
| 050 |
0 |
0 |
|a QA9.47
|b .M56 2000
|
| 100 |
1 |
|
|a Mint︠s︡, G. E.
|0 http://id.loc.gov/authorities/names/n84801193
|1 http://isni.org/isni/0000000435261024.
|
| 245 |
1 |
2 |
|a A short introduction to intuitionistic logic /
|c Grigori Mints.
|
| 260 |
|
|
|a New York :
|b Kluwer Academic/Plenum Publishers,
|c ©2000.
|
| 300 |
|
|
|a ix, 131 pages ;
|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 The University series in mathematics.
|
| 504 |
|
|
|a Includes bibliographical references (pages 125-127) and index.
|
| 650 |
|
0 |
|a Intuitionistic mathematics.
|0 http://id.loc.gov/authorities/subjects/sh85067656.
|
| 830 |
|
0 |
|a University series in mathematics (Plenum Press)
|0 http://id.loc.gov/authorities/names/n42025781.
|
| 907 |
|
|
|a .b32895665
|b 03-19-20
|c 03-06-01
|
| 998 |
|
|
|a eng
|b 04-19-01
|c d
|d m
|e -
|f eng
|g nyu
|h 2
|i 2
|
| 907 |
|
|
|a .b32895665
|b 03-04-16
|c 03-06-01
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b32895665
|b 06-04-11
|c 03-06-01
|
| 907 |
|
|
|a .b32895665
|b 06-05-08
|c 03-06-01
|
| 946 |
|
|
|a jf
|
| 999 |
f |
f |
|i 0b6cabbd-547d-5ff7-84e9-988d81d5d7fe
|s 636e275c-9afc-5d97-816c-a3553ce1906d
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Engineering Math & Physics
|d Closed Stacks - Engineering Math & Physics Library - Stacks
|e QA9.47 .M56 2000
|h Library of Congress classification
|i book
|m U183033232026
|n 1
|
