Metoda transformací logických formulí
By: Hilbert Rott.
Edition: Vyd. 1.
Series: Studie ČSAV ;; čís. 13/89; Studie ČSAV ;; 1989, č. 13.
Publisher: Academia
Published: 1989
Place of publication: Praha
Language: cze
Number of pages: 126
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 119-120) and index.
On p. facing t.p.: Československá akademie věd.
Summary in English and Russian.