Quick view Springer Games and Full Abstraction for a Functional Metalanguage with Recursive Types $107.00 Add to Wishlist Add to Cart
Quick view Springer Enumerability - Decidability Computability: An Introduction to the Theory of Recursive Functions $61.47 Add to Wishlist Add to Cart
Quick view Springer Recursive Functions and Metamathematics: Problems of Completeness and Decidability, G?del's Theorems $179.41 Add to Wishlist Add to Cart
Quick view Springer Games and Full Abstraction for a Functional Metalanguage with Recursive Types : 9781447111658 $61.47 Add to Wishlist Add to Cart
Quick view Createspace Independent Publishing Platform Free Algebra with Countable Basis $29.59 Add to Wishlist Add to Cart