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

Free Download

Authors: Makkai M.

Volume: Part 2

Size: 308 kB (315378 bytes)

Pages: 28/28

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 I: completeness according to Godel, Kripke, and Lauchli”

You must be logged in to post a review.