@Bacon2023APItHOL

Citation

Title: A philosophical introduction to Higher-order Logics

Author: Andrew Bacon

Year: 2023

Published in:

Publisher: Oxford University Press