Number of the records: 1
Simmons, Harold, 1942-
SYS 0141607 LBL -----cz--a22-----n--4500 003 CZ-OlKUP 005 20180717220918.0 008 110802|n|aznnnaabn-----------n-a|a------ 040 $a BOD004 $b cze $d ABA001 $e rda 046 $f 1942 100 1-
$a Simmons, Harold, $d 1942- 370 $c Velká Británie 374 $a matematici 375 $a muž 377 $a eng 400 1-
$a Simmons, H. $q (Harold), $d 1942- $0 o 670 $a Proof theory :a selection of papers from the leeds proof theory programme 1990 (editors: P. Aczel, H. Simmons, S.S. Wainer) 670 $a LC (Names), cit. 2. 8. 2011 $b autoritní forma, odkaz viz 670 $a BNF, cit. 2. 8. 2011 $b národnost, profesní údaje 670 $a Proof theory : a selection of papers from the leeds proof theory programme 1990 (editors: P. Aczel, H. Simmons, S. S. Wainer) 670 $a LC (Names), cit. 7. 7. 2018 $b autoritní forma, datum narození, odkaz viz 678 0-
$a Britský matematik.
Number of the records: 1