Пропуск в контексте
Toggle navigation
VuFind
Язык
English
Deutsch
Türkçe
Русский
اللغة العربية
Все поля
Заглавие
Автор
Предмет
Шифр
ISBN/ISSN
Метка
Найти
Расширенный поиск
Logic for computer science /
Фонды
Цитировать
Отправить на Email
Запись для экспорта
Экспорт в RefWorks
Экспорт в EndNoteWeb
Экспорт в EndNote
Logic for computer science /
Библиографические подробности
Главный автор:
Reeves, Steven
Другие авторы:
Clarke, Michael
Формат:
Язык:
English
Опубликовано:
Workingham :
Addison-Wesley,
1990.
Предметы:
Mantık, sembolik ve matematiksel.
Logic, Symbolic and mathematical
Фонды
Описание
Схожие документы
Marc-запись
Menteşe Kütüphanesi
Подробно о фондах из Menteşe Kütüphanesi
Шифр:
QA9 .R448 1990
Копировать k.1
Доступно
Схожие документы
Mathematical logic /
по: Ebbinghaus, Heinz-Dieter, 1939-
Опубликовано: (1994)
Mathematical logic /
по: Kleene, Stephen Cole, 1909-
Опубликовано: (2002)
Kanıt nasıl yapılır: bir yapısal yaklaşım= how to prove it/
по: Velleman, Daniel J.
Опубликовано: (2008)
Matematiksel mantık /
по: Eroğlu, Mehmet Sait
Опубликовано: (2016)
Lojistik /
по: Reichenbach, Hans, 1891-1953
Опубликовано: (1939)
×
Загрузка...