Каталог книг Антикварные книги Естествознание, Медицина Военное дело, военная история Детские книги и журналы Искусство История, Философия, Религия Книги издательства Academia (1922-1938) Литературоведение, Книговедение Промышленность и Техника Худ. лит-ра, Проза Худ. лит-ра, Поэзия Другие Газеты, журналы Биографии, мемуары Война, политика, дипломатия Искусство (театр, музыка, кино и др.) Литература Наука Другое ЖЗЛ (серия) Военное дело, военная история Военное дело, военная история Военное дело: теория и практика, вооружение и оснащение, обеспечение и др. 2-я Мировая война (1939-1945 гг.) Разведка, спецслужбы Детская литература Познавательная, обучающая, развивающая Проза отечественных авторов Сказки, стихи и басни Искусство Архитектура Декоративно-прикладное. Другие виды искусства Живопись, графика, скульптура Кино, ТВ, театр Музыка, ноты, опера, балет, танцы Музеи, выставки, каталоги Теория и история искусства, эстетика История Археология, Палеонтология Первобытное общество Древняя Греция и Рим Древний мир (другие регионы) Средние века (476-1640 гг.) Новая история (1640-1918 гг.) Новейшая история (после 1918 г.) История всемирная: Общие вопросы. Книги, охватывающие несколько периодов История России (до 1240 г.) История России (1240-1700 гг.) История России (1700-1916 гг.) История России: Революция и Гражданская война 1917-1922 История СССР и России (после 1922 г.) История России: Общие вопросы. Книги, охватывающие несколько периодов Краеведение России Москва и Подмосковье Санкт-Петербург и пригороды Европейский Север Урал, Сибирь, Дальний Восток Центр, Запад Юг, Кавказ Другое Медицина Анатомия и физиология Психиатрия, нервные болезни Нетрадиционная (народная, восточная, целители) Терапия (внутренние болезни), инфекционные болезни Фармакология. Лекарственные растения Хирургия, онкология, травматология, ортопедия Другое Мир увлечений Домоводство, Кулинария, Напитки Животные (дикие и домашние) Книговедение, библиография, полиграфия Коллекционирование (о марках, монетах, наградах и проч.) Миниатюрные издания Мода, красота, рукоделие Нобелевские лауреаты Огород, сад, растения Охота и рыбалка Сделай сам Секс и эротика Спорт и физкультура Фотодело, Фотоальбомы Шахматы, шашки, карточные и логические игры Другие хобби и увлечения Наука и техника Астрономия, Космонавтика Биологические науки Кибернетика, теория систем, синергетика Математика Науки о Земле (география, геология и др.) Научно-популярная литература Программирование, Компьютеры Сельское хозяйство. Лесное хозяйство Транспорт: наземный Транспорт: водный Транспорт: воздушный Транспорт: железнодорожный и метро Транспорт: другое Физика Химия, хим. производство Электроника, электротехника, радио и связь Другие естественные науки, Науковедение Другие технические науки Общественные и гуманитарные науки Антропология, этнография, мифология, фольклор Банковское дело, Финансы, Бухгалтерия Бизнес, Менеджмент, Маркетинг Законодательство, право Литературоведение Политология, геополитика, дипломатия Психология Социология, культурология, история быта Экономика, политэкономия По странам и континентам Австралия, Новая Зеландия, Океания Азия: Индия, Пакистан, Тибет, Цейлон (Шри-Ланка) Азия: Китай, Монголия Азия: Средняя Азия, Афганистан, Иран Азия: Страны Ближнего Востока Азия: Япония, Корея Азия: Другие страны Америка Северная Америка Южная и Центральная Арктика, Антарктика Африка: Египет Африка: Другие страны Европа: Австрия, Германия, Голландия, Швейцария Европа: Балканы (Греция, Болгария и др.), Кипр, Турция Европа: Великобритания, Ирландия, Исландия Европа: Италия, Испания, Португалия, Франция Европа: Кавказ, Закавказье Европа: Скандинавия, Прибалтика Европа: Ближнее зарубежье (Белоруссия, Молдавия, Украина) Европа: Другие страны Путешествия. Географические открытия Промышленность Легкая (текстильная, швейная, др.) и пищевая промышленность Машиностроение, приборостроение Металлургия, Горное дело Промышленность, производство Строительство Религия Буддизм Ислам Иудаизм Христианство Религиоведение, история религии, атеизм Другие религии и культы Эзотерика, магия, оккультизм, астрология Русскоязычные зарубежные издания Русскоязычные зарубежные издания Философия Античная философия Восточная философия Философия в Средневековье, Возрождение Философия в Новое время (XVIII-XIX вв.) Западная философия (XX-XXI вв.) Отечественная философия (XX-XXI вв.) Философия: Другое Художественная литература Библиотека поэта (БП, серия) Библиотека всемирной литературы (БВЛ, серия) Все Б-ки приключений (БПиНФ, БП-1,2,3, БПП, НБП, рамка, псевдорамка) Детективы, боевики Драматургия Исторические романы Литературные Памятники (ЛП) Памятники письменности Востока и др. вост. серии (ППВ, ПЛНВ, ПКВ) Поэзия до XX в. Поэзия XX-XXI вв. Проза зарубежная до XIX в. Проза зарубежная XIX в. Проза зарубежная XX-XXI вв. Проза отечественная до XX в. Проза отечественная XX-XXI вв. Подписные издания, Собрания сочинений Поэзия и проза о войне Приключения Публицистика. Журналистика Сатира и юмор Фантастика зарубежная Фантастика отечественная Отдельные тома многотомных изданий Книги в подарок. Подарочные издания Учебная, справочная литература Карты и атласы. Топография, геодезия Педагогика (дошкольная, школьная, общая) Пособия для абитуриентов и самообразования Пособия для учителей Словари Словари иностранных языков Учебники и самоучители иностранных языков Энциклопедии, справочники Школьные учебники и пособия Языкознание Языкознание. Общие вопросы Языкознание. Русский язык Языкознание. Другие языки

Поиск по каталогу:  БУКИНИСТИЧЕСКИЕ КНИГИ   Теория доказательств Автор: Такеути Г. Издательство: МИР Год издания: 1978 Аннотация: Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.     Ориентировочная цена 400 руб.

©2024 staryeknigi.ru

Книжный интернет-каталог «Старые Книги»

Структурированный каталог букинистических книг с ориентировочными ценами.