Utvalda
Jämför webbutiker (2)
Model Theory versus Proof Theory within General Algebraic Logic
Springer
Model Theory: The Algebraic Basics: 70
Algebraic Quasi—Fractal Logic of Smart Systems: Theory and Practice
Oxford University Press, USA
A First Course in Logic: An Introduction to Model Theory, Proof Computability,...
Cambridge University Press
Proof Theory and Logic Programming: Computation as Search
Tillbaka till toppen