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.