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