Elementarnoje vvedenije v simboličeskuju logiku /

Učenije zapiski filosofskogo fakul´teta. Vyp. 190.

Patentovedenije. Učebno-metodičeskoje posobije po speckursu dl´a studentov zaočnogo otdelenija.

Godovoj otčet massovoj biblioteki. Lekcija dľa studentov zaočnogo otdelenija po kursu "Bibliotekovedenije".

Institut rusistiki filosofskogo fakul´teta Prešovskogo universiteta v g. Prešov: issledovanija i materialy : sbornik statej, posvjaščennyj 60-letiju prešovskoj rusistiki /

Vvedenije v logiku /

Oborudovanije kursa zoologii.

Moje teta, tvoje teta : veselohra ve třech jednáních /

Teta Anula /

Ujo Teta /

Filosofskije voprosy sovremennoj formal'noj logiky /

Vvedenije v matematičeskuju logiku /

Vvedenije v matematičeskuju logiku /

Vvedenije v matematičeckuju logiku /

Formale Logik /

Kritika sovremennogo filosofskogo fideizma /

Prepodavanije kursa Oborudovanije svejnych

Enciklopedija elementarnoj matematiki. Kniga 4, Geometrija /

Metamatematika elementarnoj matematiki.

Enciklopedija elementarnoj matematiki.

Elementarnoje vvedenije v simboličeskuju logiku. Posobije dlja studentov zaočnogo otdelenija Filosofskogo fakul´teta po razdelu "Simboličeskaja logika" iz kursa formal´noj logiki.