Matches in Harvard for { ?s ?p Theorem proving in higher order logics.. }
Showing items 1 to 6 of
6
with 100 items per page.
- catalog hasFormat "Theorem proving in higher order logics.".
- catalog hasFormat "Theorem proving in higher order logics.".
- catalog isFormatOf "Theorem proving in higher order logics.".
- catalog isFormatOf "Theorem proving in higher order logics.".
- catalog relation "Theorem proving in higher order logics.".
- catalog relation "Theorem proving in higher order logics.".