Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 447, Band 447)
Gesponsert
Medimops DE
37.40 EUR
Preis aktualisiert am: 05-05-2026 15:02:56
Gesponsert
SpringerLink DE
37.40 EUR
Preis aktualisiert am: 05-05-2026 15:08:19
Allgemein
Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540071490
MPN
Springer Berlin Heidelberg 7316295
