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

Rekord MARC
			01192cz a2200253n 4500
001			vtls000444189
003			NUKAT
005			20130220000542.0
008			970606n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 97006890
039		9	$a 201302200005 $b VLOAD $c 201302190020 $d VLOAD $c 200303110106 $d VLOAD $c 200303101309 $d fhw $y 200205311108 $z load
040			$a LUBL 58/LK $c LUBL 58/LK $d WA U/KMR $d LUBL KUL/SA
100	1		$a Minc, G. E. $d (1939- ).
400	1		$a Mints, G. E.
400	1		$a Mints, Grigori.
667			$a Prof. filozofii i informatyki, zajmujący się zwł. logiką, filozofią matematyki i języka.
670			$a Kp. Vvedenie v intervalnye vyčislenija / G. Alefel'd, Ju. Chercberger. - Moskva, 1987. $b Tł. z jęz. ang.
670			$a Kp. COLOG-88 : International Conference on Computer Logic / P. Martin-Löf, G. Mints (eds.). - Berlin, 1990. $b S. red. (Mints, Grigori)
670			$a LC online (Mints, G. E.)
670			$a A short introduction to intuitionistic logic / Grigori Mints. - New York, 2000.
670			$a www-philosophy.stanford.edu/fss/gm.html
675			$a LCN'1996
999			$a VTLSSORT0080010004001000400040016670670067016702670367046750*9992
999			$a VIRTUA40 x