1
Die Fehlerbaum-Methode : (aus dem Themenkreis Zuverlässigkeits- und Sicherheits-Technik) /
Book
2
Handbook of logic in computer science. 1. Background, mathematical structures /
Book
...MDB - Logik...
3
Gödel's theorems : a workbook on formalization /
Book
...MDB - Logik...
4
The logical basis for computer programming. 2. Deductive systems.
Book
Manna, Z.
1990
...MDB - Logik...
5
Computable set theory. vol 0001.
Book
...MDB - Logik...
6
Fuzzy mathematical techniques with applications /
Book
...MDB - Logik...
7
Logic for computer science : foundations of automatic theorem proving /
Book
...MDB - Logik...
8
Einführung in die moderne Logik.
Book
...MDB - Logik...
9
The logical basis for computer programming. 1. Deductive reasoning.
Book
Manna, Z.
1985
...MDB - Logik...
10
Mathematical logic /
Book
...MDB - Logik...
11
Advances in fuzzy set theory and applications /
Book
...MDB - Logik...
12
Elements of intuitionism.
Book
...MDB - Logik...
13
Komplexe Logik.
Book
...MDB - Logik...
14
Moderne Logik : Abriss der formalen Logik.
Book
...MDB - Logik...
15
Understanding symbolic logic /
Book
...MDB - Logik...
16
Dictionary of symbols of mathematical logic /
Book
...MDB - Logik...
17
The Language of logic.
Book
...MDB - Logik...
18
Einführung in die mathematische Logik: Klassische Prädikatenlogik.
Book
...MDB - Logik...
19
Logic : the theory of formal inference /
Book
...MDB - Logik...
20
Methods of logic /
Book
...MDB - Logik...