Logic and Computer Science: Lectures given at the 1st Session of the Centro Inte
38,22 €
The isomorphism conjecture and its generalizations. - Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming. - A guide to polymorphic types. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.
Jetzt bei Ebay:
