Canonization for two variables and puzzles on the square

Amsterdam / Elsevier (1997) [Fachzeitschriftenartikel]

Annals of pure and applied logic
Band: 85
Ausgabe: 3
Seite(n): 243-282

Autorinnen und Autoren

Autorinnen und Autoren

Otto, Martin

Identifikationsnummern