×
![]( "Buchcover ISBN 9780792345930")
Proof Theory and Automated Deduction (Applied Logic Series, Band 6)
Quelle: amazon.de, abgerufen am 05.11.2025 20:40:44
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)