Search alternatives:
"logician" » "logicians", "logica"
"logiciel" » "logiciels"
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...”