Mathematical logic and theoretical computer science

著者

• Kueker, D. W.
• Lopez-Escobar, E. G. K. (Edgar G. K.)
• Smith, Carl
• University of Maryland, College Park. Dept. of Mathematics

書誌事項

Mathematical logic and theoretical computer science

edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith

（Lecture notes in pure and applied mathematics, v. 106）

M. Dekker, c1987

注記

"Papers ... presented during the XVI Special Year of the Department of Mathematics of the University of Maryland, 1984-1985"--Pref.

Includes index

詳細情報

• NII書誌ID(NCID): BA00441633
• ISBN:
  • 0824777468
• LCCN: 86029033
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: xviii, 383 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.2
  • DC19 : 511.3
• 件名:
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Electronic data processing
  • LCSH : Algebra
• 親書誌ID:
  • BA00256405