GOUBAULT-LARRECQ, Jean und MACKIE, Ian, 1997. Proof theory and automated deduction. Dordrecht [u.a.]: Kluwer. Applied logic series, 6. ISBN 0792345932.
Elsevier - Harvard (with titles)Goubault-Larrecq, J., Mac Kie, I., 1997. Proof theory and automated deduction, Applied logic series, Applied logic series. Kluwer, Dordrecht [u.a.].
American Psychological Association 7th editionGoubault-Larrecq, J., & Mac Kie, I. (ca. 1997). Proof theory and automated deduction [Book]. In Applied logic series. Kluwer.
Springer - Basic (author-date)Goubault-Larrecq J, Mac Kie I (1997) Proof theory and automated deduction. Kluwer, Dordrecht [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Goubault-Larrecq, Jean/ Mac Kie, Ian, Proof theory and automated deduction, Dordrecht [u.a.] 1997.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.