机读格式显示(MARC)

• 000 01204cam a2200385 i 4500

• 001 0000930238

• 003 CAL

• 005 20211028144900.0

• 008 191023s2020 enk b 001 0 eng d

• 010 __ |a 2019953288

• 015 __ |a GBC025591 |2 bnb

• 016 7_ |a 019716988 |2 Uk

• 020 __ |a 0198853408 |q hardback

• 020 __ |a 9780198853404 |q hardback

• 020 __ |z 9780191888069 |q ebook

• 035 __ |a (OCoLC)on1114512538

• 040 __ |a YDX |b eng |c YDX |e rda |d YDXIT |d OCLCO |d YDXIT |d UKMGB |d DLC

• 042 __ |a lccopycat

• 050 00 |a QA612.7 |b .C67 2020

• 082 04 |a 514/.24 |2 23

• 090 __ |a B82/C797

• 093 __ |a B82 |2 5

• 099 __ |a CAL 022020222141

• 100 1_ |a Corfield, David |q (David Neil), |e author.

• 245 10 |a Modal homotopy type theory : |b the prospect of a new logic for philosophy / |c David Corfield.

• 264 _1 |a Oxford : |b Oxford University Press, |c 2020.

• 300 __ |a x, 180 pages ; |c 24 cm

• 336 __ |a text |b txt |2 rdacontent

• 337 __ |a unmediated |b n |2 rdamedia

• 338 __ |a volume |b nc |2 rdacarrier

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Homotopy theory |x Philosophy.

• 776 08 |i ebook version : |z 9780191888069

• 920 __ |a 242450 |z 1

• 998 __ |a BJZK