×
![]( "Buchcover ISBN 9780792345930")
Proof Theory and Automated Deduction (Applied Logic Series, Band 6)
Quelle: amazon.de, abgerufen am 26.07.2025 07:24:46
Proof Theory and Automated Deduction (Applied Logic Series, Band 6) von Goubault-Larrecq, Jean, Mackie, I. | ISBN 9780792345930
Proof Theory and Automated Deduction (Applied Logic Series, Band 6)