2
Decidable Theories I

Decidable Theories I

Jahr:
1970
Sprache:
english
Datei:
DJVU, 1009 KB
0 / 0
english, 1970
3
The Collected Works of J. Richard Büchi

The Collected Works of J. Richard Büchi

Jahr:
1990
Sprache:
english
Datei:
PDF, 28.25 MB
0 / 0
english, 1990
4
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Jahr:
1992
Sprache:
german
Datei:
PDF, 7.50 MB
0 / 0
german, 1992
9
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Jahr:
1990
Sprache:
german
Datei:
PDF, 37.19 MB
0 / 0
german, 1990
10
Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Jahr:
1970
Sprache:
german
Datei:
PDF, 12.36 MB
0 / 0
german, 1970