Вид документа : Многотомное издание Шифр издания : 649.7/B 28 Автор(ы) : Barwise, Jon, Etchemendy, John Заглавие : The Language of first-order LOGIC: including the Macintosh version of TARSKI'S WORLD 4.0 . -3 ed., Rev. & Expanded Выходные данные : Stanford,California, 1993 Колич.характеристики :313 c. + 1 эл. гиб. диск Серия: Center for the Study of Language and Information. Lecture notes; N 23 Примечания : Ind.: c. 304-313 ISBN, Цена 0-937073-99-7: 150.00 р. ГРНТИ : 50.05.09 ББК : 649.732-018.12я05 Предметные рубрики: РАДИОЭЛЕКТРОНИКА-- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ-- ЯЗЫКИ ПРОГРАММИРОВАНИЯ Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Etchemendy, John