Cover Image

Constructive logics /

Bibliographic Details
Main Author: Gallier, Jean H.
Format: Book
Language:English
Published: Rueil Malmaison, France : Digital, Paris Research Laboratory, [1991]
Series:Research report (Digital Equipment Corporation. Paris Research Laboratory) ; no. 8-9.
Subjects:
Logic.
Logic, Symbolic and mathematical.
Proof theory.
Lambda calculus.
Description
Item Description:"May 1991."
Physical Description:2 volumes ; 30 cm.
Bibliography:Includes bibliographical references.