## Categorical Logic and Type Theory

**Author**: Bart Jacobs

**Publisher:** Gulf Professional Publishing

**ISBN:** 9780444508539

**Category:** Mathematics

**Page:** 760

**View:** 3918

**Author**: Bart Jacobs

**Publisher:** Gulf Professional Publishing

**ISBN:** 9780444508539

**Category:** Mathematics

**Page:** 760

**View:** 3918

**Author**: J. Lambek,P. J. Scott

**Publisher:** Cambridge University Press

**ISBN:** 9780521356534

**Category:** Mathematics

**Page:** 304

**View:** 6417

*The Road Less Travelled*

**Author**: Rafał Urbaniak,Gillman Payette

**Publisher:** Springer

**ISBN:** 331958507X

**Category:** Philosophy

**Page:** 263

**View:** 3656

**Author**: Paul Taylor

**Publisher:** Cambridge University Press

**ISBN:** 9780521631075

**Category:** Mathematics

**Page:** 572

**View:** 2029

**Author**: N.A

**Publisher:** N.A

**ISBN:** N.A

**Category:** Logic, Symbolic and mathematical

**Page:** N.A

**View:** 2171

*15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings*

**Author**: Bernd Fischer,Tarmo Uustalu

**Publisher:** Springer

**ISBN:** 303002508X

**Category:** Computers

**Page:** 533

**View:** 3490

**Author**: Anil Nerode,Richard Shore

**Publisher:** Springer Science & Business Media

**ISBN:** 9780387948935

**Category:** Computers

**Page:** 456

**View:** 1033

**Author**: Elaine Landry

**Publisher:** Oxford University Press

**ISBN:** 019874899X

**Category:** Mathematics

**Page:** 528

**View:** 6339

**Author**: Emily Riehl

**Publisher:** Courier Dover Publications

**ISBN:** 0486820807

**Category:** Mathematics

**Page:** 272

**View:** 4213