Categorical logic and type theory

Saved in:

Bibliographic Details
Main Author:	Jacobs, Bart
Format:	Tandon
Language:	Asing
Published:	Elsevier 1999
Subjects:	MATHEMATICAL LOGIC
Tags:	Add Tag No Tags, Be the first to tag this record!

PINJAM

Similar Items