Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Digital
ISBN: 9780387316093 Year: 2006 Publisher: New York, NY Springer Science+Business Media, Inc
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- wiskunde --- logica
Multi
ISBN: 9780080954875 0080954871 1283525720 9781283525725 9786613838179 6613838179 9780444105370 0444105379 Year: 1974 Publisher: New York American Elsevier Pub. Co
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Provability, Computability and Reflection.
Digital
ISBN: 0444701990 9780080963198 0080963196 9786612286797 6612286792 Year: 1980 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Now available in paperback, this monograph is a self-contained exposition of the main results and methods of descriptive set theory. It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians.
| Listing 1 - 3 of 3 |
Sort by
|