Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 447, Band 447)

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540071490
MPN
Springer Berlin Heidelberg 7316295

Eigenschaften

Menü