Categorical Logic and Type Theory - 9780444508539

Categorical Logic and Type Theory by B. Jacobs PAPERBACK 9780444508539

Categorical Logic and Type Theory: Volume 141 by B Jacobs: New

Jacobs - Categorical Logic and Type Theory - New paperback or softback - X555z

Elsevier Journal Of Veterinary Cardiology, Volume 57 February 2025 Paperback

ARROWS, STRUCTURES, AND FUNCTORS THE CATEGORICAL IMPERATIVE - ARBIB & MANES

Buck's 2023 Step-By-Step Medical Coding by Elsevier (2022, Trade Paperback)

CATEGORICAL LOGIC AND TYPE THEORY (VOLUME 141) (STUDIES IN LOGIC AND T... B. Jac