<departmental bulletin paper>
Number of Proofs for Implicational Formulas(MATHEMATICAL LOGIC AND ITS APPLICATIONS)
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
First Page | |
Last Page | |
Publication Type | |
Access Rights | |
Related DOI | |
Related URI | |
Related HDL |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
hirokawa_209 | 96.7 KB | 280 |
Details
Record ID | |
---|---|
Related URI | |
ISSN | |
NCID | |
Created Date | 2013.12.09 |
Modified Date | 2023.07.28 |