Fibrational formulation of intuitionistic predicate logic 1

Book information

Year

1993

Language

english

Format

DJVU

Filesize

581 kB (594753 bytes)

Series

Notre Dame J.Formal Logic 34 p334

Volume

Part 1

Pages

44\44

Topic

Mathematics › Logic

Library

Kolxo3

DPI

600

Time added

2009-07-20 03:45:11