Formale Logik /

Ancient formal logic.

Discovering formal logic. /

Formale Logik : logische Systeme Einführung in die Metalogik /

Teorija formal´nych grammatik /

The formal basis of relevance judgments.

Formale Beschreibung von Programmiersprachen.

Introduction to formal language theory /

Formal foundations of correct programming. /

Formal development of programs and proofs. /

Formal description of programming concepts. /

Einführung in die Formale Logik /

Teorija formal´nych jazykov : vvodnyj kurs /

Proof and disproof in formal logic : an introduction for programmers /

Formal calculus of variations on fibered manifolda /

Formalization of Natural Languages. (Formalizácia prirodzených ...

Topics in the Formal Methodology of Empirical Sciences.

Industrial´nyj metod strojitel´stva burovych.

Formal VLSI specification and synthesis : VLSI design methods. 1 /

Formal VLSI correctness verification : VLSI design methods. 2 /

Formal´nyj metod v literature : (bibliografija) /