| Views | |
|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 224 |
| October 2024 | November 2024 | December 2024 | January 2025 | February 2025 | March 2025 | April 2025 | |
|---|---|---|---|---|---|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 12 | 13 | 7 | 7 | 11 | 9 | 1 |
| Views | |
|---|---|
| MA-Makarenko.pdf | 111 |
