An Introduction to Lambda Calculi for Computer ScientistsChris Hankin14,49 €Ultima copia4,0Aggiungi al carrello
Programming Languages and Operational SemanticsMaribel Fernandez14,66 €DanneggiatoDanneggiato3,3Mostra dettagli
Aristotle's Syllogistic Underlying Logic. His Model with his Proofs of Soundness and CompletenessGeorge BogerEsauritoAvvisami
Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK AlgebrasAfrodita IorgulescuEsauritoAvvisami
