Комплексний пошук у каталогах Національної бібілотеки України імені В. І. Вернадського

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Знайдено в інших каталогах:
	Журнали та продовжувані видання (1)

Книжкові видання

Розширений пошук

Сортувати знайдені документи за:
автором	назвою	роком видання

Формат представлення знайдених документів:
повний	стислий

Пошуковий запит: (<.>U=Ю4 в016$<.>)

Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9

ВА615467

Косовский, Николай Кириллович.

Логики конечнозначных предикатов на основе неравенств [Текст] : учеб. пособие / Н. К. Косовский, А. В. Тишков ; С.-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского гос. ун-та, 2000. - 268 с.

Тематичний рубрикатор:

Навчальні видання < Традиційна і сучасна формальна (математична) логіка >

Некласичні логічні системи

Дод. точки доступу:
Тишков, Артем Валерьевич; С. -Петербургский гос. университет

Видання зберігається у :
Основний фонд

ВА591086

Гладкий, Алексей Всеволодович.

Математическая логика [Текст] / А. В. Гладкий ; Российский гос. гуманитарный ун-т. - М. : [б. и.], 1998. - 479 с.

Тематичний рубрикатор:

Математична логіка. Підручники для вищої школи

Підручники < Традиційна і сучасна формальна (математична) логіка >

Дод. точки доступу:
Российский государственный гуманитарный университет

Видання зберігається у :
Основний фонд

Р83128

Конверський, Анатолій Євгенійович.

Традиційна логіка [Текст] : навч. програма для студентів філос. ф-тів ун-тів / А. Є. Конверський ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - Київ : Четверта хвиля, 1997. - 12 с.

Тематичний рубрикатор:

Традиційна і сучасна формальна (математична) логіка

Навчальні плани і програми. Вища школа. Україна < Вивчення і викладання логіки >

Дод. точки доступу:
Національна академія наук України; Інститут філософії (Київ); Київський національний університет імені Тараса Шевченка

Видання зберігається у :

ВА632593

Дуцяк, Ігор З..

Теоретичні засади логіки [Текст] / І. З. Дуцяк ; Львівський національний ун-т ім. Івана Франка. - Л. : Видавничий центр ЛНУ ім.Івана Франка : Палітра друку, 2002. - 233 с.: рис.

Тематичний рубрикатор:

Традиційна і сучасна формальна (математична) логіка

Логіка висловлювань

Дод. точки доступу:
Львівський національний університет імені Івана Франка

Видання зберігається у :
Основний фонд

ВА660139

Зиновьев, Александр Александрович.

Очерки комплексной логики [Текст] / А. А. Зиновьев ; отв. ред. Е. А. Сидоренко. - М. : Эдиториал УРСС, 2000. - 560 с. - Библиогр.: в конце разд.

Тематичний рубрикатор:

Традиційна і сучасна формальна (математична) логіка

Математична логіка

Дод. точки доступу:
Сидоренко, Е. А. (отв. ред.)

Видання зберігається у :
Основний фонд

ВА681732

Карамишева, Неллі Василівна.

Логіка. Пізнання. Евристика [Текст] : посібник для студентів та аспірантів / Н. В. Карамишева. - Л. : Астролябія, 2002. - 352 . - Бібліогр.: в кінці розділів.

Тематичний рубрикатор:

Навчальні видання < Традиційна і сучасна формальна (математична) логіка >

Мислення

Навчальні видання. Вища школа < Філософські проблеми мови >

Видання зберігається у :
Універсальний підсобний фонд

ВА720181

Конверський, Анатолій Євгенович.

Логіка (традиційна та сучасна) [Текст] : підруч. для студентів ВНЗ / А. Є. Конверський ; Київ. нац. ун-т ім. Тараса Шевченка. - 2-ге вид. - Київ : Центр учбової літератури, 2008. - 536 с. - Бібліогр.: с. 534-535.

Тематичний рубрикатор:

Підручники < Традиційна і сучасна формальна (математична) логіка >

Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

Глушков В.М./ВА672

Лукасевич, Ян.

Аристотелевская силлогистика с точки зрения современной формальной логики [Текст] / Я. Лукасевич ; пер. с англ. Н. И. Стяжкина и А. Л. Субботина ; общ ред. и вступ. ст. проф. П. С. Попова. - М. : Изд-во иностр. лит., 1959. - 312 с. - Пер. изд. : Aristotle's sillogistic from the standpoint of modern formal logic / Jan Łukasiewicz. - Oxford, 1957.

Тематичний рубрикатор:

Традиційна і сучасна формальна (математична) логіка

Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів

Дод. точки доступу:
Стяжкин, Н. И. (пер.); Субботин, А. Л. (пер.); Попов, П. С. (ред., авт. вступ. ст.); Аристотель (pers.); Łukasiewicz, Jan

Видання зберігається у :
Основний фонд

ІВ202491

Zwischen traditioneller und moderner Logik [Text] : Nichtklassische Ansätze / hrsg. W. Stelzner, M. Stöckler. - Paderborn : Mentis, 2001. - 467 S. - (Perspektiven der Analytischen Philosophie. Neue Folge). - Бібліогр.: V kinci st.

Тематичний рубрикатор:

Традиційна і сучасна формальна (математична) логіка

Основи математики. Математична логіка. Дискретна математика

Дод. точки доступу:
Stelzner, Werner (hrsg.); Stöckler, Manfred (hrsg.)

Видання зберігається у :