Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785288054952

Книга ISBN13 9785288054952 - Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов. Учебное пособие (Косовская Т.М.) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов. Учебное пособие
В основе учебного пособия лежит курс лекций по математической логике, читавшийся на математико-механическом факультете СПбГУ. В учебном пособии излагаются основы классической математической логики как средства формализации и проверки правильности...
Авторы: Косовская Т.М.
Издательство: Санкт-Петербургский государственный университет (СПбГУ)
Год: 2013
Местонахождение: My-shop.ru
ISBN: 978-5-288-05495-2


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.