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