Search alternatives:
"logician" » "logicians", "logical", "logiciel"

1
by Primiero, Giuseppe
Published 2008
Springer Netherlands
... neglected by current researchers in Type Theory. The treatment is especially formulated for logicians with a...