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