Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Introduction to Mathematical Logic, Walicki Michal


Варианты приобретения
Цена: 9504.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-08-04
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Walicki Michal
Название:  Introduction to Mathematical Logic
ISBN: 9789814343862
Издательство: World Scientific Publishing
Классификация:
ISBN-10: 9814343862
Обложка/Формат: Hardcover
Страницы: 300
Вес: 0.50 кг.
Дата издания: 16.12.2011
Язык: English
Размер: 229 x 152 x 20
Поставляется из: Англии
Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic -- their syntax, reasoning systems and semantics. Soundness and completeness results for Hilberts and Gentzens systems are presented, along with simple decidability arguments. The general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts, presentation of syntactic reasoning systems precedes the semantic explanations. The simplicity of syntactic constructions and rules -- of a high, though often neglected, pedagogical value -- aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics, helping to appreciate the importance of the purely symbolic systems, like those underlying computers.An overview of the history of logic precedes the main text, while informal analogies precede introduction of most central concepts. These informal aspects are kept clearly apart from the technical ones. Together, they form a unique text which may be appreciated equally by lecturers and students occupied with mathematical precision, as well as those interested in the relations of logical formalisms to the problems of computability and the philosophy of logic.


Flow of ideas

Автор: Walicki, Andrzej
Название: Flow of ideas
ISBN: 3631636687 ISBN-13(EAN): 9783631636688
Издательство: Peter Lang
Рейтинг:
Цена: 23216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This history of Russian thought was first published in Polish in 1973 and subsequently appeared 2005 in a revised and expanded publication. The current volume begins with Enlightenment thought and Westernization in Russia in the 17th century and moves to the religious-philosophical renaissance of first decade of the 20th century. This book provides readers with an exhaustive account of relationships between various Russian thinkers with an examination of how those thinkers relate to a number of figures and trends in Western philosophy and in the broader history of ideas.

Black seasons

Автор: Glowinski, Michal
Название: Black seasons
ISBN: 0810119595 ISBN-13(EAN): 9780810119598
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 2502.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Recalling his experience of the ghetto at six years old, Michal Glowinski, attentive to the distance between a child`s experience and an adult`s reflection, revisits the images and episodes of his childhood. He explores the horror of those years, the fragility of existence, and the fragmented nature of memory itself.

Media strategy and military operations in the 21st century

Автор: Shavit, Michal
Название: Media strategy and military operations in the 21st century
ISBN: 1138638749 ISBN-13(EAN): 9781138638747
Издательство: Taylor&Francis
Рейтинг:
Цена: 22968.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book applies the concept of mediatization to the contemporary dynamic between war, media and society, with a focus on the Israeli Defence Forces.

Discursive construction of european identities

Автор: Krzyzanowski, Michal
Название: Discursive construction of european identities
ISBN: 3631610467 ISBN-13(EAN): 9783631610466
Издательство: Peter Lang
Рейтинг:
Цена: 11722.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Looks at the discursive construction of European identities in a variety of institutional and non-institutional contexts and through a variety of social and political actors. This book analyses discourses as diverse as those of the EU politicians, of Europe`s national media as well as of migrants living in Europe.

Democratic audit of poland

Автор: Markowski, Radoslaw Kotnarowski, Michal Wenzel, Michal Zerkowska-balas, Marta
Название: Democratic audit of poland
ISBN: 3631656912 ISBN-13(EAN): 9783631656914
Издательство: Peter Lang
Рейтинг:
Цена: 6921.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book is a study of the state of the Polish democracy and focuses on the years 2012 and 2013. It explores available documents and statistical data, offers a collection of experts' judgments, and analyses public opinion research. Ten domains of democracy are covered, some of them as fundamental as the rule of law, the political community or public administration. The study evaluates contemporary Polish democracy as consolidated and assesses it as reasonably effective, although a number of clear shortcomings call for improvements.

Finding Chess Jewels: Improve Your Imagination and Calculation

Автор: Krasenkow Michal
Название: Finding Chess Jewels: Improve Your Imagination and Calculation
ISBN: 1781941548 ISBN-13(EAN): 9781781941546
Издательство: Неизвестно
Рейтинг:
Цена: 2691.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Michal Krasenkow provides a treasure trove of chess puzzles designed to stretch the minds of all players. Solutions are often hidden, spectacular and unexpected, and are specifically designed to improve a player`s imagination and calculation.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия