Fibrational formulation of intuitionistic predicate logic 1

Free Download

Authors: Makkai M.

Series: Notre Dame J.Formal Logic 34 p334

Volume: Part 1

Size: 581 kB (594753 bytes)

Pages: 44/44

File format: djvu

Language: English

Publishing Year: 1993

Direct Download: Coming soon..

Download link:

Category: Mathematics , Logic

Makkai M.

Reviews

There are no reviews yet.

Be the first to review “Fibrational formulation of intuitionistic predicate logic 1”

You must be logged in to post a review.