GitHub repository: volhovM/mathlogic-conspect
Created: 2015-01-21T15:18:54Z
Description: Conspect on mathlogic course given by Shtukenberg D.G. 2014