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