数理論理学 Mathematical Logic (Works)

ホーム
> 洋書
> 英文書
> Science / Mathematics

数理論理学<br>Mathematical Logic (Works)

電子版価格
¥29,249

電子版あり

数理論理学
Mathematical Logic (Works)

Turing, Alan Mathison/ Gandy, R. O. (EDT)/ Yates, C. E. M. (EDT)

North-Holland（2001/12発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 293 p.
言語 ENG
商品コード 9780444504234
DDC分類 511.3

基本説明

Contents: Historical Introduction (Solomon Feferman); General Introduction to Turing's Work on Type Theory; Unpublished papers-1941 Some Theorems about Church's System; 1943-4 Practical Forms of Type Theory II; Excerpts from the "Enigma Paper"; and more.