机读格式显示(MARC)

• 000 01305cam a2200349 i 4500

• 001 0000605816

• 003 CAL

• 005 20220307145900.0

• 006 m_ d

• 007 cr cn

• 008 171124s2016 enk sb 001 0 eng d

• 020 __ |a 9781316731543

• 020 __ |a 9781107167926

• 040 __ |a SJT |b eng |e rda |c SJT |d SJT

• 050 _4 |a QA9.65 |b .L56

• 082 04 |a 511.3 |2 21

• 093 __ |a O141.3 |2 5

• 099 __ |a CAL 022017124801

• 100 1_ |a Lindstr枚m, Per, |d 1936-2009.

• 245 10 |a Aspects of incompleteness / |c Per Lindstr枚m.

• 264 _1 |a Cambridge, England : |b Association for Symbolic Logic under license to Cambridge University Press, |c [2016]

• 300 __ |a 1 online resource (x, 132 pages)

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

• 337 __ |a computer |b c |2 rdamedia

• 338 __ |a online resource |b cr |2 rdacarrier

• 490 0_ |a Lecture notes in logic ; |v 10

• 500 __ |a First edition: Springer-Verlag Berlin Heidelberg, c1997.

• 500 __ |a Description based on print version record.

• 504 __ |a Includes bibliographical references (pages 123-129) and index.

• 650 _0 |a Incompleteness theorems.

• 650 _0 |a Recursion theory.

• 856 4_ |u http://www.itextbook.cn/f/book/bookDetail?bookId=7fe4f4e4b9324c2381269ffa02732b69 |z An electronic book accessible through the World Wide Web; click to view