Computations in fragments of intuitionistic propositional logic

Bibliographic Details
Corporate Author:	Universiteit van Amsterdam Instituut voor Taal, Logica en Informatie
Other Authors:	Hendriks, L, Jongh, D. de, Renardel de Lavalette, G. R
Format:	Book
Language:	English
Published:	1988
Subjects:	Fragment diagrams

Holdings details from Stanford University
Call Number:	112086

Similar Items