|
|
|
01944cz a2200445n 4500 |
|
001 |
|
|
vtls000354653 |
|
003 |
|
|
NUKAT |
|
005 |
|
|
20191105001633.0 |
|
008 |
|
|
001205n||a| nnaabn |a aaa |c |
|
010 |
|
|
$a n 00715007 |
|
024 |
7 |
|
$a http://nukat.edu.pl/aut/n 00715007 $2 uri |
|
024 |
7 |
|
$a http://viaf.org/viaf/41901318 $2 uri |
|
024 |
7 |
|
$a http://isni.org/isni/0000000114711821 $2 uri |
|
024 |
7 |
|
$a https://www.wikidata.org/wiki/Q335148 $2 uri |
|
039 |
|
9 |
$a 201911050016 $b VLOAD $c 201911040529 $d VLOAD $c 201805140022 $d VLOAD $c 201805111055 $d fmim $y 200205311533 $z load |
|
040 |
|
|
$a TOR U/TL $c TOR U/TL $d WA U/EJ $d TOR U/DA $d GD U/as $d LUBL KUL/JP $d WA U/94ANK $d KR 93/MSs |
|
043 |
|
|
$c US |
|
046 |
|
|
$f 1909 $g 1994 |
|
100 |
1 |
|
$a Kleene, Stephen Cole $d (1909-1994). |
|
370 |
|
|
$c Stany Zjednoczone. $0 http://nukat.edu.pl/aut/s 94114880 $2 kaba |
|
372 |
|
|
$a Matematyka. $0 http://nukat.edu.pl/aut/s 94013666 $2 kaba |
|
374 |
|
|
$a Matematycy. $0 http://nukat.edu.pl/aut/s 94013667 $2 kaba |
|
377 |
|
|
$a eng |
|
400 |
1 |
|
$a Klini, S. K. |
|
400 |
1 |
|
$a Kleene, S. C. |
|
400 |
1 |
|
$a Klini, Stefen K. |
|
400 |
0 |
|
$a S. C. Cole. |
|
400 |
0 |
|
$a Kleene, Stephen C. |
|
400 |
1 |
|
$a Klini, S. |
|
667 |
|
|
$a Matematyk amerykański. |
|
670 |
|
|
$a Introduction to metamathematics / by Stephen Cole Kleene. - Amsterdam, 1967. |
|
670 |
|
|
$a OPALE(F)'2000 |
|
670 |
|
|
$a Matematičeskaja logika / S. K. Klini. - Moskva, 1973. |
|
670 |
|
|
$a Two papers on the predicate calculus / S. C. Kleene. - Providence, RI., 1952. |
|
670 |
|
|
$a Vvedenie v metamatematiku / Stefen K. Klini. - Moskva, 1957. |
|
670 |
|
|
$a Computabilty / by S. C. Cole. - Washington, 1961. |
|
670 |
|
|
$a Logique mathématique / Stephen C. Kleene. - Paris, 1971. |
|
670 |
|
|
$a Osnovaniâ intuicionistskoj matematiki / S. Klini, R. Vesli. - Moskva, 1978. |
|
999 |
|
|
$a VIRTUA10 x |
|
999 |
|
|
$a VTLSSORT0010*0080*0100*0400*1000*4000*4005*4001*4002*4003*4004*6670*6700*6701*6702*6703*6704*6705*6706*6707*9992 |
|