(10 resultados)

Ordenar por

ordenar por...
precio Fecha Public Autor Título
202,75€(IVA inc.)

Analysis and synthesis of logics: how to cut and paste reasoning systems
Analysis and synthesis of logics: how to cut and paste reasoning systems
  • Carnielli, W.
  • 978-1-4020-6781-5
  • 2008-01-01
202,80€(IVA inc.)

Computational Logic
Computational Logic
  • Gabbay, Dov M.
  • 978-0-444-51624-4
  • 2014-09-01
176,31€(IVA inc.)

Handbook of quantum logic and quantum structures
Handbook of quantum logic and quantum structures
  • Engesser, Kurt
  • 978-0-444-52869-8
  • 2008-11-26
202,44€(IVA inc.)

Handbook of the history of logic v. 5 Logic from Russell to Church
Handbook of the history of logic v. 5 Logic from Russell to Church
  • Gabbay, Dov M.
  • 978-0-444-51620-6
  • 2009-06-17
202,80€(IVA inc.)

Logic: A History of its Central Concepts
Logic: A History of its Central Concepts
  • Gabbay, Dov M.
  • 978-0-444-52937-4
  • 2012-10-11
93,55€(IVA inc.)

Logical tools for handling change in agent-based systems
Logical tools for handling change in agent-based systems
  • Gabbay, Dov M.
  • 978-3-642-04406-9
  • 2009-11-30
156,73€(IVA inc.)

Philosophy of mathematics
Philosophy of mathematics
  • Gabbay, Dov M.
  • 978-0-444-51555-1
  • 2009-06-17
124,75€(IVA inc.)

Proof theory for fuzzy logics
Proof theory for fuzzy logics
  • Metcalfe, G.
  • 978-1-4020-9408-8
  • 2009-01-01
169,79€(IVA inc.)

Quantification in nonclassical logic
Quantification in nonclassical logic
  • Gabbay, Dov M.
  • 978-0-444-52012-8
  • 2009-06-15
215,50€(IVA inc.)

Sets and extensions in the twentieth century
Sets and extensions in the twentieth century
  • Gabbay, Dov M.
  • 978-0-444-51621-3
  • 2012-01-15