Formalized Mathematics

Editor-in-Chief
Roman Matuszewski, University of Bialystok, Poland

Language Editor
Pauline N. Kawamoto, Shinshu University, Japan

Senior Advisory Board

• William W. Armstrong, University of Alberta, Canada,
• Robert S. Boyer, University of Texas at Austin, USA,
• Fairouz Kamareddine, Heriot-Watt University, UK,

Editorial Board

• Jesse Alama, Stanford University, USA,
  Thematic Editor - Logic
• Krystyna Kuperberg, Auburn University, USA,
  Thematic Editor - Mathematics
• John Harrison, Amazon Web Services, Portland, USA,
  Thematic Editor - Computer Science
• Andrej Bauer, University of Ljubljana, Slovenia
• Czeslaw Bylinski, University of Bialystok, Poland,
• Noboru Endou, Gifu National College of Technology, Japan,
• Pawel Gburzynski, Olsonet Communications Corporation, Canada,
• Adam Grabowski, University of Bialystok, Poland,
• Klaus Grue, University of Copenhagen, Denmark,
• Pauline N. Kawamoto, Shinshu University, Japan,
• Michael Kohlhase, Friedrich-Alexander-University, Erlangen-Nuremberg, Germany,
• Artur Kornilowicz, University of Bialystok, Poland,
• John Mayer, University of Alabama at Birmingham, USA,
• Adam Naumowicz, University of Bialystok, Poland,
• Alexander Shibakov, Tennessee Tech University, USA,
• Yasunari Shidama, Shinshu University, Japan,
• Geoff Sutcliffe, University of Miami, USA

Contact
dr Roman Matuszewski
University of Bialystok
Institute of Informatics
ul. Ciolkowskiego 1 M, room 2021
15-245 Białystok
Poland
mobile: +48 603 491 986
e-mail: romat@mizar.org

Publisher
De Gruyter Poland
Bogumiła Zuga 32A Str.
01-811 Warsaw, Poland
T: +48 22 701 50 15