@misc{_Emil,
 howpublished={online},
 publisher={Uniwersytet w Białymstoku},
 language={eng},
 title={Emil L. Post and the problem of mechanical provability : a survey of Post’s contributions in the centenary of his birth},
 title={The Chair of Logic, Informatics and Philosophy of Science University of Białystok},
 type={czasopismo},
 keywords={Post, Emil Leon (1897-1954) - krytyka i interpretacja, Logika symboliczna i matematyczna},
}