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

Rekord MARC
			00628cz a2200193n 4500
001			vtls000262544
003			NUKAT
005			20090707001306.0
008			931206n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 93128378
039		9	$a 200907070013 $b VLOAD $c 200907061241 $d fas $c 200907030848 $d vul $y 200205310841 $z load
040			$a KR 93/AW $c KR 93/AW $d WA U/KMR
100	1		$a Girard, Jean-Yves.
400	1		$a Girard, J. Y.
667			$a CNRS, Univ. Paris VII.
670			$a Kp Proofs and types. - Cambridge, 1989.
670			$a Kp. Three-valued logic and cut-elimination / J. Y. Girard. - Warszawa, 1976.
670			$a LCC
999			$a VIRTUA50 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

NUKAT

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