Шаваринская. «Язык математики и начала математической логики и их отражение в ШКМ (школьном курсе математики)»

Курс рассчитан на студентов, обучающихся в педагогических вузах на факультете математики, физики или информатики, и школьников старших классов, увлекающихся логикой и математикой. Простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики.