Model theory for modal logic : kripke models for modal predicate calculi /
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydané: |
Dordrecht :
D. Reidel Publishing Company,
1979.
|
| Vydanie: | 1st ed. |
| Edícia: | Synthese library
vol. 127 |
| ISBN: |
9027709297 (viaz.) |
| Fyzický popis: |
10, 127 s. |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!
|
Titul je dostupný aj v ... 
| LEADER | 01093nam a2200301 4500 | ||
|---|---|---|---|
| 001 | 000186282 | ||
| 005 | 20100812141246.0 | ||
| 008 | 940318s1979 ne eng d | ||
| FMT | |||
| 020 | |a 9027709297 (viaz.) |c Kčs 500,00 | ||
| 040 | |a SVKKK |b slo |c SVKKK |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c NL | ||
| 100 | 1 | |a Bowen, Kenneth A. |4 aut | |
| 245 | 1 | 0 | |a Model theory for modal logic : |b kripke models for modal predicate calculi / |c Kenneth A. Bowen. |
| 250 | |a 1st ed. | ||
| 260 | |a Dordrecht : |b D. Reidel Publishing Company, |c 1979. | ||
| 300 | |a 10, 127 s. | ||
| 490 | 1 | |a Synthese library |v vol. 127 | |
| 504 | |a Bibliogr. na s. 119-122 | ||
| 830 | 0 | |a Synthese library |v vol. 127 | |
| 910 | |a svkkk | ||
| 919 | |a 90-277-0929-7 | ||
| 998 | |a BK | ||
| OWN | |||
| Z30 | 1 | |l SCK01 |l SCK01 |m BOOK |1 SCKHL |2 SK15 |b Sklad Pribinova 1. posch. |3 IV.99764 |6 616190 |q 20100812 |5 186282-10 |8 20060125 |e 0000 |f 70 |s Absenčne |h SCKRT |t 00000000 |u 0000 |w 000186282 |x 000010 | |
| a02 | 0 | |a 9027709297 (viaz.) | |
| 090 | |g SCKHL |k Sklad Pribinova 1. posch. |a IV.99764 |j 616190 |i 186282-10 |s Absenčne | ||