zobacz khw | Prosto do informacji - katalog zbiorów polskich bibliotek naukowych

Rekord MARC
			00939cz a2200241n 4500
001			vtls000371268
003			NUKAT
005			20200423002016.0
008			931215n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 93129207
024	7		$a http://viaf.org/viaf/25829033 $2 uri
024	7		$a http://isni.org/isni/0000000109607173 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q5268410 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 93129207 $2 uri
039		9	$a 202004230020 $b VLOAD $c 202004220532 $d VLOAD $c 201804160018 $d VLOAD $c 201804130507 $d VLOAD $y 200205310842 $z load
040			$a KR 93/TS $c KR 93/AW $d TOR U/PA
046			$f 1951
100	1		$a Kozen, Dexter C. $d (1951- ).
400	1		$a Kozen, Dexter.
670			$a Kp The design and analysis of algorithms. - New York, 1992.
670			$a Kp. Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / ed. by Dexter Kozen. - Berlin [etc.], 1982.
670			$a LCA online
999			$a VIRTUA50 x