Mark Bickford
AuthID: R-00K-2BY
1
TITLE: Formalizing Moessner's theorem and generalizations in Nuprl
AUTHORS: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2022, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 124
AUTHORS: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLISHED: 2022, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 124
INDEXED IN: 
DBLP
DBLP