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

Книг в категории: 41

Л. Кутюра
Вниманию читателей предлагается книга известного францу…
Этот справочник имеет двоякое назначение. Во-первых, зд…
В предлагаемом пособии рассказано о логических и матема…
A Course in Mathematical Logic
Mathematical Logic,4
A Mathematical Introduction to Logic
Admissibility of Logical Inference Rules,136
В настоящем пособии даются первоначальные сведения по т…

А. Я. Симонов, Д. С. Бакаев, А. Г. Эпельман и др.
лее 2000 задач и упражнений по всем основным разделам ш…
В настоящей книге дается достаточно полное и вместе с т…
Настоящая книга, написанная известным немецким математи…
Теория алгоритмов, создававшаяся первоначально как разд…