Ссылка на этот поиск: https://alib.top/findp.php?author=%F2%E0%EA%E5%F3%F2%E8+&
Такеути Г. Теория доказательств. Перевод с английского. М. Мир 1978г. 414 с. Палiтурка / переплет: твердый, увеличенный формат. (Продавец: BS - Barvinok, Одесса.) Цена: 76 грн. Купить Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчисления предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательство устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами. Cостояние: хорошее
Такеути Т. Теория и применение вентильных цепей для регулирования двигателей. Пер.с англ. Л. Энергия 1973г. 248 с. Палiтурка / переплет: Твердый, Увеличенный формат (Продавец: BS - Landrat, Лубны.) Цена: 85 грн. Купить В книге показано применение двух новых методов расчета цепей с вентилями с помощью которых выполнен анализ работы выпрямителей, автономных инверторов, прерывателей-регуляторов переменного и постоянного напряжения при работе на статическую и двигательную нагрузку. Для каждой схемы приведены исходные уравнения, дано их решение со всеми указаниями о промежуточных преобразованиях. Для основных искомых величин определены области допустимых значений зависимых переменных, приведены расчетные характеристики, временные диаграммы, осциллограммы и сравнения результатов расчета с экспериментальными данными. Cостояние: Хорошее. Штамп не сушествующей библиотеки.
Если ничего не найдено, укажите только автора или одно слово из названия. Примеры поиска
По ссылке в описании книги можно перейти на персональную
страницу продавца (BS). Рекомендуется просмотреть списки его книг.
Возможно, там есть ещё что-то интересное.
По ссылке на странице продавца можно заказать книгу
прямо на сайте