Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

まだ評価がありません
1979 · 英語 · ハードカバー
棚に追加

この本を評価する


ブックジャーナルをエクスポート

説明

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.

本の詳細

形式 ハードカバー
ページ数 486ページ
言語 英語
公開されました 2月 26, 1979
出版社 Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
棚に追加

この本を評価する


ブックジャーナルをエクスポート