Related Books

Sketches of an Elephant: A Topos Theory Compendium
Language: en
Pages: 836
Authors: P. T. Johnstone
Categories: Computers
Type: BOOK - Published: 2002-09-12 - Publisher: Oxford University Press

DOWNLOAD EBOOK

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from th
Interpolation and Definability
Language: en
Pages: 524
Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 2005-05-12 - Publisher: Oxford University Press

DOWNLOAD EBOOK

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all are
Sketches of an Elephant
Language: en
Pages: 880
Authors: Peter T. Johnstone
Categories: Toposes
Type: BOOK - Published: 2002-06 - Publisher: Clarendon Press

DOWNLOAD EBOOK

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from th
Tree Climbers' Guide
Language: en
Pages: 158
Authors: Sharon J. Lilly
Categories: Nature
Type: BOOK - Published: 1998 - Publisher:

DOWNLOAD EBOOK

First Order Categorical Logic
Language: en
Pages: 317
Authors: M. Makkai
Categories: Mathematics
Type: BOOK - Published: 2006-11-15 - Publisher: Springer

DOWNLOAD EBOOK