## Categorical Logic and Type Theory

**Author**: Bart Jacobs

**Publisher:** Gulf Professional Publishing

**ISBN:** 9780444508539

**Category:** Mathematics

**Page:** 760

**View:** 4435

**Author**: Bart Jacobs

**Publisher:** Gulf Professional Publishing

**ISBN:** 9780444508539

**Category:** Mathematics

**Page:** 760

**View:** 4435

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

**Publisher:** Cambridge University Press

**ISBN:** 9780521356534

**Category:** Mathematics

**Page:** 304

**View:** 2305

**Author**: Paul Taylor

**Publisher:** Cambridge University Press

**ISBN:** 9780521631075

**Category:** Mathematics

**Page:** 572

**View:** 7347

*The Road Less Travelled*

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

**Publisher:** Springer

**ISBN:** 331958507X

**Category:** Philosophy

**Page:** 263

**View:** 9759

**Author**: Andrei Rodin

**Publisher:** Springer Science & Business Media

**ISBN:** 3319004042

**Category:** Philosophy

**Page:** 285

**View:** 9211

*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:** 3876

**Author**: Emily Riehl

**Publisher:** Courier Dover Publications

**ISBN:** 0486820807

**Category:** Mathematics

**Page:** 272

**View:** 978

**Author**: Anil Nerode,Richard Shore

**Publisher:** Springer Science & Business Media

**ISBN:** 9780387948935

**Category:** Computers

**Page:** 456

**View:** 4419

**Author**: Colin McLarty

**Publisher:** Clarendon Press

**ISBN:** 9780191589492

**Category:**

**Page:** 278

**View:** 597

**Author**: Elaine Landry

**Publisher:** Oxford University Press

**ISBN:** 019874899X

**Category:** Mathematics

**Page:** 528

**View:** 6685