ebook img
Author:Jana Glivická
File size:0.12 MB

Similar Shepherdson's theorems for fragments of open induction