Rekord MARC
      00816cz  a2200217n  4500
001     vtls000529176
003     NUKAT
005     20200601001953.0
008     990331n||a|nnnabbn          |a aaa    |c
010 $a n  99002745
024 7 $a http://viaf.org/viaf/39950593 $2 uri
024 7 $a http://isni.org/isni/000000010890546X $2 uri
024 7 $a https://www.wikidata.org/wiki/Q93097 $2 uri
024 7 $a http://nukat.edu.pl/aut/n  99002745 $2 uri
039 9 $a 202006010019 $b VLOAD $c 202005290526 $d VLOAD $c 201806040023 $d VLOAD $c 201806010507 $d VLOAD $y 200205311314 $z load
040 $a WA U/94KMR $c WA U/KMR
046 $f 1948
100 1 $a Rackoff, Charles W. $d (1948- ).
670 $a Kp. The computational complexity of logical theories /  Jeanne Ferrante, Charles W. Rackoff. - Berlin, 1979.
670 $a LCC online
999 $a VIRTUA10         x
Katalog Nukat

Biblioteka Uniwersytecka w Warszawie
ul. Dobra 56/66
00-312 Warszawa

(+48) 22 55 25 351

(+48) 22 55 25 655

nukat@uw.edu.pl


Wersja 3.2.SP2 © Innovative Interfaces, Inc. © 2019 NUKAT. Wszelkie prawa zastrzeżone | Polityka cookies | Deklaracja dostępności