Математическая логика. Курс лекций. Задачник-практикум и решения:...
									
								
																
								                                Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упр-я по перечисленным разделам. Уч.пособие предназнач.для студентов университетов и педагогических вузов, изучающих математическую логику.
								
								 
                                                                                                                                                                                                                            Издательство: 
                                                                                                                Лань
                                                                                                                                                            Дата выхода: январь 2009