See raamat võib saadaval olla ka teistes raamatukogudes. Registreerige end lugejaks mitmes raamatukogus. Nii võite saada raamatutele kiirema ligipääsu.
Хорошая книга для начального знакомства с математической логикой. Всё основное, о чём стоит знать программистам есть. Не понял, правда, почему в теореме 45 смешиваются понятия корректности и непротиворечивости.
Оставьте отзыв
Jagage arvustust
А. Х. Шень, Н. К. Верещагин, 0 rohkem autoreid
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисленияPDF
Kopeeri link
Kasutame küpsiseid, et võimaldada veebilehe kiirem ja mugavam kasutamine.Lisateave
Отзывы 1