About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Give feedback

Thanks for taking the time to share your feedback about the DML-CZ system. Your comments are appreciated!

  1. Article:
    A Kalmár-style completeness proof for the logics of the hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$
  2. Author:
    Fernández, Víctor
  3. Source:
    Commentationes Mathematicae Universitatis Carolinae / 4
  4. Your name:
    Please enter your name
  5. Your Email:
    This address will be used to follow up on your feedback.
  6. Comments:
  7.  
Partner of
EuDML logo