Search
Feedback
About
Help
News
| Listing 1 - 10 of 10 |
Sort by
|
Periodical
Year: 1985 Publisher: New York Berlin Tokyo Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Multi
ISBN: 9780080954967 0080954960 1282309072 9781282309074 9786612309076 6612309075 9780720406917 0720406919 Year: 1977 Publisher: Amsterdam New York New York North-Holland Pub. Co. Sole distributors for U.S.A. and Canada, Elsevier North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection.
Book
Year: 1971 Publisher: Amsterdam, London North-Holland Publishing Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1977 Publisher: Amsterdam, New York, Oxford North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 1283525615 9786613838063 008095474X Year: 1971 Publisher: Amsterdam : North-Holland Pub. Co.,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection
Book
Year: 1980 Publisher: [Place of publication not identified] Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 9780444504234 0444504230 9780080535920 0080535925 Year: 2001 Publisher: New York Elsevier Science
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the greatest originality and of permanent importance. This book is divided into three parts. The first part focuses on computability and ordinal logics and covers Turing's work between 193.
Book
Year: 1980 Publisher: [Place of publication not identified] Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1980 Publisher: [Place of publication not identified] Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1967 Publisher: Gap Impr. Louis-Jean
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 10 |
Sort by
|