Formální logika. /
Základy formální logiky.
Základy formální logiky /
Formální a transcendentální logika /
STN 01 3187: 1987,Technické výkresy. Provozní dokumentace.
Formální logika v umělé inteligenci /
Formální aspekty projektování organizace řízení /
Studie z transformační a formální gramatiky / 4 Přístupy k intenzionální sémantice /
Studie z transformační a formální gramatiky 4 Přístupy k intenzionální sémantice
Dokumentace staveb /
Seznam dokumentace. 3, Programované učení a moderní jazyková výuka /
Formální metoda v literární vědě : kritický úvod do sociologické poetiky /
Melodika a formální ústrojenství moderní populární hudby /
STN ISO 2859-2: 1992 (01 0261), Statistické přejímky srovnáváním Časť 2 Přejímací plány LQ pro kontrolu izolovaných dávek
STN 49 3306: 1992, Dokumentace na dřevěné přepravní obaly. Jednotné zásady.
Základy dokumentace : výběr z přednášek /
Projednávání dokumentace staveb /
Fondy patentové dokumentace /
STN ISO 2384: 1992 (01 0164), Formální úprava překladu. Dokumentace.
Program a učební pokyny pro dálkové studium na studijní rok 1961/62 a 1962/63 všech fakult VŠCHT. 3. ročník.
STN 01 0166: 1993, Nakladatelská (vydavatelská) úprava knih a některých dalších druhů neperiodických publikací.
STN ISO 5984: 1991 (01 0172), Pokyny pro vypracování a rozvíjení vícejazyčných tezaurů.