Susumu Hayashi and Hiroshi Nakano. PX. A computational logic. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1989, xiv + 200 pp

Bibliographic Details

Published in:	The Journal of symbolic logic 1991-06, Vol.56 (2), p.763-766
Main Author:	Harper, Robert
Format:	Article
Language:	eng
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!