Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Free Download

Authors:

Volume: Part 1

Size: 581 kB (594897 bytes)

Pages: 44/44

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Makkai M.

Reviews

There are no reviews yet.

Be the first to review “Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli”

Related products

Shopping Cart
Scroll to Top