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

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