Logic Colloquium '90: ASL Summer Meeting in Helsinki.(Lecture Notes in Logic Vol. 2) paper 300 S.
Oikkonen, J.,
Vä惹nänen, J.
編
発行年月 |
1993年01月 |
---|
出版社/提供元 |
Springer-Verlag GmbH |
出版国 |
ドイツ |
---|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
装丁 |
paper |
---|
|
ページ数/巻数 |
300 S. |
---|
|
|
ジャンル |
洋書 |
---|
|
|
ISBN |
9783540570943 |
---|
|
商品コード |
0209339845 |
---|
|
|
|
本の性格 |
議事録 |
---|
|
|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209339845 |
---|
内容
This volume of conference proceedings contains 13 research papers byspeakers representing various fields of mathematical logic, ranging frommodel theory and the philosophy of mathematics to proof and recursion theoryand computer science.