Number of the records: 1
Computability and logic
SYS m0437363 LBL 00000nam-a22^^^^^3a-4500 003 CZ-HkUHK 005 20070228124943.0 008 070213r20062002xxk----e------|||-||eng-d 020 $a 0-521-00758-5 040 $a HKD002 $b cze 041 0-
$a eng 072 -7
$a 511 $x Teorie čísel $2 Konspekt $T . $7 hk_us_auth*m0351402 080 $a 51 $2 MRF-sel 100 1-
$7 hk_us_auth*m0438296 $a Boolos, George, $d 1940-1996 $4 aut 245 10
$a Computability and logic / $c George S. Boolos, John P. Burgess, Richard C. Jeffrey 250 $a 4th ed. 260 $a Cambridge : $b Cambridge University Press, $c c2002 300 $a xi, 356 s. 500 $a Reprinted 2006 650 07
$7 hk_us_auth*m0034471 $a matematika $2 czenas 650 07
$7 hk_us_auth*m0034549 $a logika $2 czenas 650 07
$7 hk_us_auth*0008533 $a matematická logika $2 czenas 650 04
$7 hk_us_auth*0010643 $a matematické funkce 650 07
$7 hk_us_auth*0024983 $a logické funkce $2 czenas 650 04
$7 hk_us_auth*0012987 $a teorie matematiky 700 1-
$7 hk_us_auth*m0438297 $a Burgess, John P., $d 1948- $4 aut 700 1-
$7 hk_us_auth*m0521476 $a Jeffrey, Richard C., $d 1926-2002 $4 aut 910 $a HKD002 $b 78721-IV
Number of the records: 1