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

Rekord MARC
			01297cz a2200301n 4500
001			vtls000118102
003			NUKAT
005			20180522001353.0
008			981013n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 98036420
024	7		$a http://viaf.org/viaf/109291023 $2 uri
024	7		$a http://isni.org/isni/0000000109328983 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q1847646 $2 uri
039		9	$a 201805220013 $b VLOAD $c 201805210507 $d VLOAD $c 201712220007 $d VLOAD $c 201712210501 $d VLOAD $y 200205311239 $z load
040			$a GD U/MZ $c GD U/MZ $d WA U/SZGRZ $d WA U/KMR $d KAT U/DL
100	1		$a Barendregt, H. P. $d (1947- ).
400	1		$a Barendregt, Hendrik Pieter.
400	1		$a Barendregt, Henk P.
400	1		$a Barendregt, Ch.
400	1		$a Barendregt, Henk.
400	1		$a Barendregt, H.
667			$a Matematyk; Rijksuniversiteit Ultrecht, Netherlands.
670			$a The lambda calculus / H. P. Barendregt. - Amsterdam, 1994.
670			$a LCN'1996
670			$a Kp. Lambda-isčislenie / Ch. Barendregt. - Moskva, 1985.
670			$a Kp. Types for proofs and programs / Henk Barendregt, Tobias Nipkow (eds.). - Berlin, 1994.
670			$a Kp. Lambda - isčislenie : ego sintaksis i semantika / H. Barendregt ; perev. s ang. G. E. Minca ; pod red. A. S. Kuzičeva. - Moskva, 1985.
999			$a VIRTUA40 x