Semantics of Type Theory

Correctness, Completeness and Independence Results

(

)

Author:

Series title:

Progress in Theoretical Computer Science Ser.

ISBN:

978-0-8176-3594-7

Publication Date:

Dec 1991

Publisher:

Springer

Book Format:

Hardback

List Price:

USD $155.00

Book Details

Pages:	298
Detailed Subjects:	Computers / Languages / General Computers / Programming / General
Physical Dimensions (W X L X H):	6.63 x 9.75 Inches
Book Weight:	1.364 Pounds

Related Books

Select your rating below then click 'submit'.