Rekord MARC
      00942cz  a2200241n  4500
001     vtls000140755
003     NUKAT
005     20180504001435.0
008     970203n||a|nnnabbn          |a aaa    |c
010 $a n  97010435
024 7 $a http://viaf.org/viaf/91868953 $2 uri
024 7 $a http://isni.org/isni/0000000121435327 $2 uri
024 7 $a https://www.wikidata.org/wiki/Q3720507 $2 uri
039 9 $a 201805040014 $b VLOAD $c 201805020507 $d VLOAD $c 201712080008 $d VLOAD $c 201712070500 $d VLOAD $y 200205311039 $z load
040 $a KR U/29MB $c KR U/29MB $d KR U/29MB
100 1 $a Boerger, Egon $d (1946- ).
400 1 $a Börger, Egon.
400 1 $a Börger, E.
667 $a Universita di Pisa, Dipartimento di Informatica.
667 $a The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich. - Berlin, 1997.
670 $a NUC-online
670 $a Computability, complexity, logic / E. Börger. - Amsterdam [etc.], 1989.
999 $a VIRTUA40         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