Categorical Logic

Notes on Categorical Logic

۳۶٬۰۰۰ تومان

Categorical Logic [Lecture notes]

۳۶٬۰۰۰ تومان

Introduction to Category Theory and Categorical Logic

۳۶٬۰۰۰ تومان

Introduction to Higher Order Categorical Logic

۳۶٬۰۰۰ تومان

Categorical Models of Constructive Logic [Lecture notes]

۳۶٬۰۰۰ تومان

Categorical Quantum Models and Logics (Pallas Proefschriften)

۳۶٬۰۰۰ تومان

Introduction to Category Theory and Categorical Logic [Lecture notes]

۳۶٬۰۰۰ تومان

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

۳۶٬۰۰۰ تومان

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

۳۶٬۰۰۰ تومان

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

۳۶٬۰۰۰ تومان

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

۳۶٬۰۰۰ تومان

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)

۳۶٬۰۰۰ تومان