| Views | |
|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 346 |
| July 2025 | August 2025 | September 2025 | October 2025 | November 2025 | December 2025 | January 2026 | |
|---|---|---|---|---|---|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 13 | 8 | 17 | 17 | 22 | 13 | 3 |
| Views | |
|---|---|
| MA-Makarenko.pdf | 151 |
