An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory /

Autor Brown, Chad E.
Vydáno 2007