An Introduction to Lambda Calculi for Computer ScientistsChris Hankin11,99 €Dernier exemplaire4,0Ajouter au panier
Programming Languages and Operational SemanticsMaribel Fernandez12,47 €AbîméAbîmé3,3Afficher les détails
Aristotle's Syllogistic Underlying Logic. His Model with his Proofs of Soundness and CompletenessGeorge BogerÉpuiséPrévenez-moi
Non-commutative Algebras. Pseudo-BCK Algebras versus m-pseudo-BCK AlgebrasAfrodita IorgulescuÉpuiséPrévenez-moi
