Articles with primary mathematical subject classification: 05C99

Proofs without syntax

Pages 1065-1076 by Dominic J. D. Hughes | From volume 164-3