Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····cam##22·····7a#4500 |
001 | 005325 |
005 | 20160316161953.0 |
008 | 050804m20069999nyua##########001#0#eng#d |
245 | 00 | $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 | 42 | $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0663/2005931830-d.html |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com