| Views | |
|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 193 |
| June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | November 2024 | December 2024 | |
|---|---|---|---|---|---|---|---|
| Free Higher-Order Logic - Notion, Definition and Embedding in HOL | 12 | 16 | 33 | 15 | 12 | 13 | 4 |
| Views | |
|---|---|
| MA-Makarenko.pdf | 101 |
