Proof and disproof in formal logic : an introduction for programmers /
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydané: |
Oxford ; New York :
Oxford University Press,
2005.
|
| Vydanie: | 1st ed. |
| Edícia: | Oxford texts in logic
2 |
| Témy: | |
| ISBN: |
0198530277 (brož.) 9780198530275 (brož.) |
| Fyzický popis: |
xix, 243 s. : il. ; 24 cm. |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!
|
Titul je dostupný aj v ... 
| LEADER | 01480nam a22004214a 4500 | ||
|---|---|---|---|
| 001 | 000351295 | ||
| 005 | 20130613133149.0 | ||
| 008 | 090824s2005 xxka g 001 0 eng d | ||
| FMT | |||
| 020 | |a 0198530277 (brož.) | ||
| 020 | |a 9780198530275 (brož.) | ||
| 040 | |a SVKKK |b slo |c SVKKK |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 072 | 7 | |a 510 |x Všeobecné úvahy o matematike |2 konspekt | |
| 080 | |a 510.6 |2 2001 | ||
| 080 | |a 510.65 |2 2001 | ||
| 080 | |a 004.42 |2 2001 | ||
| 080 | |a (048.8) |2 2001 | ||
| 100 | 1 | |a Bornat, Richard, |d 1944- | |
| 245 | 1 | 0 | |a Proof and disproof in formal logic : |b an introduction for programmers / |c Richard Bornat. |
| 250 | |a 1st ed. | ||
| 260 | |a Oxford ; |a New York : |b Oxford University Press, |c 2005. | ||
| 300 | |a xix, 243 s. : |b il. ; |c 24 cm. | ||
| 490 | 1 | |a Oxford texts in logic |v 2 | |
| 504 | |a Register: s. [239]-243 | ||
| 650 | 0 | 7 | |a formálna logika |2 SVKKKPH |
| 650 | 0 | 7 | |a programovanie |2 SVKKKPH |
| 655 | 7 | |a monografie |2 SVKKKPH | |
| 830 | 0 | |a Oxford texts in logic |v 2 | |
| 910 | |a svkkk | ||
| 919 | |a 0-19-853027-7 | ||
| 919 | |a 978-0-19-853027-5 | ||
| 998 | |a BK | ||
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK14 |b Sklad Pribinova prízemie |3 IV.205962 |6 1009889 |q 20090824 |5 2720173389 |8 20090824 |f 70 |s Absenčne |g 000049854 |h SCKHL |z 49.40 |t 20131113 |u 1146 |w 000351295 |x 000010 | |
| a02 | 0 | |a 0198530277 (brož.) | |
| a02 | 0 | |a 9780198530275 (brož.) | |
| 090 | |g SCKHL |k Sklad Pribinova prízemie |a IV.205962 |j 1009889 |i 2720173389 |s Absenčne | ||