header
cover

1 - Grundz├╝ge der theoretischen Logik
Hilbert, David (1862-1943)   /   Ackermann, Wilhelm (1896-1962)

Cote : [05 HIL 1938]

cover

2 - Grundz├╝ge der theorischen Logik
Hilbert, David (1862-1943)   /   Ackermann, Wilhelm (1896-1962)

Cote : [05 HIL 59]

cover

3 - Solvable cases of the decision problem
Ackermann, Wilhelm (1896-1962)

Cote : [05 ACK 54]