机读格式显示(MARC)

• 000 00854nam a2200253 i 4500

• 001 0000836578

• 005 20250908135700.0

• 008 120520s2014 nyua b 001 0 eng d

• 020 __ |a 9788323336952

• 020 __ |a 8323336954

• 040 __ |a CNPIEC |b eng |e rda |c CNPIEC

• 090 __ |a O141/X1

• 093 __ |a O141 |2 5

• 100 1_ |a Zawidzki, Michat, |e author.

• 245 10 |a Deductive systems and the decidability problem for hybrid logics / |c Michat Zawidzki.

• 260 __ |a New York : |b Columbia University Press, |c [2014]

• 300 __ |a xiv, 215 pages : |b color illustrations ; |c 25 cm

• 336 __ |a text |b txt |2 rdacontent.

• 337 __ |a unmediated |b n |2 rdamedia.

• 338 __ |a volume |b nc |2 rdacarrier.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 _0 |a Deductive databases.

• 650 _0 |a Mathematische Logik.