Search alternatives:
"logicians" » "logiciels"
Cover Image
Read Now

1
by Ciardelli, Ivano
Published 2022
Springer International Publishing
“... with the logician’s toolkit, including model-theoretic constructions and proof systems. After motivating...”