Fibrational formulation of intuitionistic predicate logic 1

(4.6/5) - 362 ratings
Author: Makkai M.
Publisher: Unknown
Genre: Mathematics > Logic
Pages: 28
Language: english
Year: 1993
ISBN 10: Unknown
ISBN 13: Unknown
Series: Notre Dame J.Formal Logic 34 p471
Edition: Unknown
6,624 people have downloaded this book for free

Synopsis

No description