TY - BOOK AU - Rieger, Ladislav TI - Algebraie Methods of Mathematical Logic U1 - 511.3 CY - Prague PB - Academia Pub House KW - general stack KW - science KW - Natural sciences & mathematics KW - General principles of mathematicsMathematics ER -