Date: 2008-03-25 21:14:46

Logic in computer science

Algebraic structures

Combinatory logic

Function

Axiom

Cartesian closed category

Group

Sheaf

Mathematics

Lambda calculus

Mathematical logic

Science of Computer Programming ELSEVIER

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 872,25 KB