First Steps in Modal Logic

Name: First Steps in Modal Logic
Brand: Cambridge University Press
SKU: 9780521057936
Price: 71.94 EUR
Availability: InStock

Автор: Sally Popkorn

Език:

Корици: С меки корици

Издател: Cambridge University Press

Наличност: Външен склад

Изпращаме след 10-18 дни

71.94 € 140.70 лв

This is a first course in propositional modal logic, suitable for mathematicians, computer scientist...

Информация за книгата

Автор

Sally Popkorn

Език

Английски език

Корици

Книга - С меки корици

Издадена

2008

страници

332

EAN

9780521057936

ISBN

0521057930

Enbook ID

02020165

Издател

Cambridge University Press

Теглоt

542

Размери

153 x 228 x 20

Пълно описание

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

First Steps in Modal Logic

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също