Edinburgh LCF
A Mechanized Logic of Computation
Published on 1. December 1979
Book
Paperback/Softback
VIII, 161 pages
978-3-540-09724-2 (ISBN)
Description
ML.- PPLAMBDA.
More details
Series
Edition
1979 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
VIII, 161 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 10 mm
Weight
271 gr
ISBN-13
978-3-540-09724-2 (9783540097242)
DOI
10.1007/3-540-09724-4
Schweitzer Classification
Content
ML.- PPLAMBDA.