Games: Unifying Logic, Language, and Philosophy, Ondrej Majer; Ahti-Veikko Pietarinen; Tero Tulenhe

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 16051.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

Автор: Jonathan P. Bowen; Huibiao Zhu
Название: Unifying Theories of Programming
ISBN: 3319522272 ISBN-13(EAN): 9783319522272
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.

Автор: Ali A. Minai; Yaneer Bar-Yam
Название: Unifying Themes in Complex Systems IV
ISBN: 3642093086 ISBN-13(EAN): 9783642093081
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: For over 10 years, The New England Complex Systems Institute (NECSI) has been instrumental in the development of complex systems science and its applications. This volume contains 43 papers selected from more than 200 presented at the 2002 conference.

Автор: Patterson
Название: Alfred Tarski: Philosophy of Language and Logic
ISBN: 0230221211 ISBN-13(EAN): 9780230221215
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This study looks to the work of Tarski`s mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

Автор: Patterson, Douglas Beaney, Michael
Название: Alfred tarski: philosophy of language and logic
ISBN: 1349306738 ISBN-13(EAN): 9781349306732
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This study looks to the work of Tarski`s mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

Автор: Devitt Michael, Los L Bettelou, Hanley Richard, Me
Название: Blackwell Guide to the Philosophy of Language
ISBN: 0631231420 ISBN-13(EAN): 9780631231424
Издательство: Wiley
Рейтинг:
Цена: 5510.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Blackwell Guide to Philosophy of Language is a collection of twenty new essays in a cutting-edge and wide-ranging field.

Автор: Ali A. Minai; Dan Braha; Yaneer Bar-Yam
Название: Unifying Themes in Complex Systems
ISBN: 3540850805 ISBN-13(EAN): 9783540850809
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Scientists have applied the principles of complex systems science to diverse fields. Their novel approaches have provided answers to long-standing questions in biology, ecology, physics, engineering, computer science, economics, psychology and sociology. This work documents and archives the progress of cross-fertilization in this field.

Автор: David Naumann
Название: Unifying Theories of Programming
ISBN: 3319148052 ISBN-13(EAN): 9783319148052
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.

Автор: Burkhard Wolff; Marie-Claude Gaudel; Abderrahmane
Название: Unifying Theories of Programming
ISBN: 3642357040 ISBN-13(EAN): 9783642357046
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012.