書誌事項

Handbook of mathematical logic

edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]

(Studies in logic and the foundations of mathematics, v. 90)

North-Holland Pub. Co., 1977

  • : pbk

大学図書館所蔵 件 / 126

この図書・雑誌をさがす

注記

Includes bibliographical references and indexes

内容説明・目次

内容説明

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.

目次

Model Theory (Contributors: J. Barwise, P.C. Eklof, H.J. Keisler, A. Kock, A. Macintyre, M. Makkai, M. Morley, G.E. Reyes, K.D. Stroyan). Set Theory (Contributors: J.P. Burgess, K.J. Devlin, T.J. Jech, I. Juhasz, K. Kunen, M.E. Rudin, J.R. Schoenfield). Recursion Theory (Contributors: P. Aczel, M. Davis, H.B. Enderton, A. Kechris, D.A. Martin, Y.N. Moschovakis, M.O. Rabin, R.A. Shore, S.G. Simpson). Proof Theory and Constructive Mathematics (Contributors: H. Barendregt, S. Feferman, M.P. Fourman, L. Harrington, J. Paris, H. Schwichtenberg, C. Smorynski, R. Statman, A.S. Troelstra). Indices.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA01039344
  • ISBN
    • 072042285X
    • 0444863885
  • LCCN
    76026032
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Amsterdam ; New York
  • ページ数/冊数
    xi, 1165 p.
  • 大きさ
    23 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ