Formalizam u savremenoj logici - Marković, Mihajlo (Kultura, 1957)