Bacon, Andrew Philsophical introduction to higher order logics - London, UK: Routledge, 2024. - xviii,464p. ISBN: 978-0-367-48301-2 (pbk) Source: TB Subjects--Topical Terms: