Modal Logic: 53 Cambridge Tracts in Theoretical Computer Science /
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
New York:
Cambridge University Press,
2010
|
| Edizione: | 4. vyd. |
| Serie: | Cambridge Tracts in Theoretical Computer Science
|
| Soggetti: | |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nam a22000003a 4500 | ||
|---|---|---|---|
| 001 | 0023527 | ||
| 003 | SK-STU | ||
| 005 | 20170425101814.8 | ||
| 007 | ta | ||
| 008 | 170425s ----xo-----e------000-0-----d | ||
| 020 | |a 978-0-521-52714-9 | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a eng |h eng | |
| 044 | |a xxu | ||
| 100 | 1 | |a Blackburn, Patrick |4 aut | |
| 245 | 1 | 0 | |a Modal Logic: |n 53 |p Cambridge Tracts in Theoretical Computer Science / |c aut. Patrick Blackburn, de Maarten Rijke, Yde Venema |
| 250 | |a 4. vyd. | ||
| 260 | |a New York: |b Cambridge University Press, |c 2010 | ||
| 300 | |a 554 s. | ||
| 490 | 0 | |a Cambridge Tracts in Theoretical Computer Science | |
| 650 | 0 | 7 | |a logika |
| 650 | 0 | 7 | |a algebra |
| 650 | 0 | 7 | |a modelovanie |
| 700 | 1 | |a Rijke, de Maarten |r Z6 |4 aut | |
| 700 | 1 | |a Venema, Yde |r Z6 |4 aut | |
| 996 | |c V* 52548/O-23705 |d 53Cambridge Tracts in Theoretical Computer Science / |l VV11 |s P |a 0 |w 0023527_0001 | ||