paperback. Condition: New. Paperback. Pub Date :2006-11-01 Pages: 563 Publisher: Electronic Industry Press Summary: This book proposes a framework for the analysis of the syntax of the programming language. operating and semantic nature. based on the framework called typed -calculus mathematics system. The calculus main features function and other quantifiable values ??a notation. and an equation logic for expression evaluation of a set of rules. The most simple system of the book is called algebra. a system of equatio.