Export Mendeley
＜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 | 269 |
Details
| Record ID | |
|---|---|
| Related URI | |
| ISSN | |
| NCID | |
| Created Date | 2013.12.09 |
| Modified Date | 2023.07.28 |