Mathematical problems from applied logic I : logics for the XXIst century /
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
New York :
Springer,
c2006-
|
| Series: | International mathematical series ;
v. 4 |
| Materias: | |
| Acceso en línea: | Publisher description |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01377cam a22002657a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb005325 | ||
| 008 | 050804m20069999nyua##########001#0#eng#d | ||
| 005 | 20160316161953.0 | ||
| 245 | 0 | 0 | |a Mathematical problems from applied logic I : |b logics for the XXIst century / |c edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev. |
| 260 | |a New York : |b Springer, |c c2006- | ||
| 300 | |a v. <1> ; |c 24 cm. | ||
| 490 | 0 | |a International mathematical series ; |v v. 4 | |
| 500 | |a Incluye índice. | ||
| 505 | 0 | |a Franz Baader and Ralf Küsters, Nonstandard inferences in description logics: the story so far -- Lev Beklemishev and Albert Visser, Problems in the logic of provability -- Johan van Benthem, Open problems in logical dynamics -- S. Barry Cooper, Computability and emergence -- John N. Crossley, Samsara -- Wilfrid Hodges, Two doors to open -- Lawrence S. Moss, Applied logic: a manifesto. | |
| 510 | 4 | |a MR, |c 2006f:03007 | |
| 020 | |a 0387286888 | ||
| 700 | 1 | |a Gabbay, Dov M., |d 1945- |4 edt | |
| 700 | 1 | |a Goncharov, S. S. |4 edt | |
| 700 | 1 | |a Zakharyaschev, Michael. |4 edt | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 084 | |a 03-06 (00B15) |2 MR | ||
| 010 | |a 2005931830 | ||
| 040 | |a NhCcYBP |c NhCcYBP |d DLC | ||
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0663/2005931830-d.html |
| 859 | |h 03 |i M4265 |p A-8541 |v 1 |3 I |b BIB. MATEMATICA | ||