Автор: Doets, Kees Van Eijck, Jan Название: Haskell road to logic, maths and programming ISBN: 0954300696 ISBN-13(EAN): 9780954300692 Издательство: Неизвестно Рейтинг: Цена: 3788.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Oh, David! What have you done now?! Whether it`s time to get dressed, eat breakfast, or go to sleep, this youngster can always find a way to make a little trouble. But no matter what David does, his mother truly loves him--and children will, too. With the same irresistible humor and vibrant style as his award-winning No, David! books, David Shannon takes us back to the "early years" of his most beloved character. Perfect for beginning readers as well as for the youngest children and parents to share, the Diaper David books are sure to delight families everywhere.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 14890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.
Автор: David J. Bodycombe Название: Penguin Pocket Sudoku ISBN: 0141034920 ISBN-13(EAN): 9780141034928 Издательство: Random House - Penguin Рейтинг: Цена: 1055.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
18+ запрещено для детей
Описание: Sudoku is a real cultural phenomenon: a French fad in the 1890s, a Japanese craze in the 1980s, it is peculiarly British obsession. This book contains 201 fiendish brainteasers, ranging from easy to mind-bogglingly difficult. It provides a daily fix for the hardened Sudoku fan and sets an addictive challenge for novices. It`s more than a game.
Автор: Church, Alonzo Название: Introduction to mathematical logic ISBN: 0691029067 ISBN-13(EAN): 9780691029061 Издательство: Wiley Рейтинг: Цена: 12989.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church`s contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru