Publication:2753606

From MaRDI portal

Jump to:navigation, search

zbMath0972.03527MaRDI QIDQ2753606

Graham Wrightson

Publication date: 14 November 2001

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

00A15: Bibliographies for mathematics in general

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2753606&oldid=15626619"