Categorical Logic and Type Theory

Main
Mathematics
Categorical Logic and Type Theory

Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
ISBN: 9780444501707

Bart Jacobs

0 / 0

0 comments

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

카테고리:

Mathematics

년:

1999

출판사:

Elsevier

언어:

english

페이지:

780

ISBN 10:

0444501703