|
Classical Mathematical Logic – The Semantic Foundations of Logic H 544 p. 06
Epstein, Richard L.,
Szczerba, Leslaw W.
著
発行年月 |
2006年06月 |
|---|
|
出版国 |
アメリカ合衆国 |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
hardcover |
|---|
|
ページ数／巻数 |
544 p. |
|---|
|
|
ジャンル |
洋書／理工学／数学／数学基礎論 |
|---|
|
|
ISBN |
9780691123004 |
|---|
|
商品コード |
0200540935 |
|---|
|
|
|
本の性格 |
学術書 |
|---|
|
新刊案内掲載月 |
2006年01月 |
|---|
書評掲載誌 |
Choice |
|---|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0200540935 |
|---|
内容
Relates the systems of mathematical logic to their original motivationsto formalize reasoning in mathematics. This book also shows how mathematicallogic can be used to formalize particular systems of mathematics. It sets outthe formalization not only of arithmetic, but also of group theory, fieldtheory, and linear orderings.
