Fibrational formulation of intuitionistic predicate logic 1

Book information

Year

1993

Language

english

Format

DJVU

Filesize

308 kB (315236 bytes)

Series

Notre Dame J.Formal Logic 34 p471

Volume

Part 2

Pages

28\28

Topic

Mathematics › Logic

Library

Kolxo3

DPI

600

Time added

2009-07-20 03:45:11