Search alternatives:
"logician" » "logicians", "logiciel", "logica"
Cover Image
Read Now

1
by Jacobs, Bart
Published 1999
Elsevier Science
Table of Contents: “... to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order...”