|
by Ceccherini-Silberstein, Tullio, Coornaert, Michel
Published 2023
Subjects:
“...Computer Science Logic and Foundations of Programming...”Published 2023
Springer International Publishing
|
by Ceccherini-Silberstein, Tullio, Coornaert, Michel
Published 2023
Subjects:
“...Computer Science Logic and Foundations of Programming...”Published 2023
Springer International Publishing
|
by Millman, Richard S., Shiue, Peter J., Kahn, Eric Brendan
Published 2015
Subjects:
“...Mathematical Logic and Foundations...”Published 2015
Springer International Publishing