Teorija formal´nych grammatik /

Formale Logik /

Discovering formal logic. /

Ancient formal logic.

Bionika i nadežnosť. Elementy teorii formal´nych nejronov.

The formal basis of relevance judgments.

Formal description of programming concepts. /

Formale Beschreibung von Programmiersprachen.

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

Introduction to formal language theory /

Formal foundations of correct programming. /

Formal development of programs and proofs. /

Einführung in die Formale Logik /

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

Topics in the Formal Methodology of Empirical Sciences.

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

Formal VLSI correctness verification : VLSI design methods. 2 /

Formal calculus of variations on fibered manifolda /

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

Formal´nyj metod v literature : (bibliografija) /

Teorija formal´nych jazykov : vvodnyj kurs /