Sold Out
Book Categories |
Resolution theorem proving : a logical point of view | 3 | |
An introduction to proofs of determinacy of long games | 43 | |
Modified bar recursion and classical dependent choice | 89 | |
Choice and uniformity in weak applicative theories | 108 | |
Compactness and incompactness phenomena in set theory | 139 | |
Selection for Borel relations | 151 | |
Interpolation in goal-directed proof systems 1 | 170 | |
Sequences of degrees associated with models of arithmetic | 217 | |
The limit theory of generic polynomials | 242 | |
Moschovakis's notion of meaning as applied to linguistics | 255 | |
Tameness in expansions of the real field | 281 | |
The model theory of compact complex spaces | 317 | |
"Natural" representations and extensions of Godel's second theorem | 350 | |
Effective Hausdorff dimension | 369 | |
Mutual stationarity in the core model | 386 | |
The pair (N[subscript n], N[subscript 0]) may fail N[subscript 0]-compactness | 402 | |
Incompleteness theorem and its frontier | 434 | |
Groups in simple theories | 440 | |
Provable recursiveness and complexity | 468 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogic Colloquium '01: Lecture Notes In Logic, 20
X
This Item is in Your InventoryLogic Colloquium '01: Lecture Notes In Logic, 20
X
You must be logged in to review the productsX
X
X
Add Logic Colloquium '01: Lecture Notes In Logic, 20, , Logic Colloquium '01: Lecture Notes In Logic, 20 to the inventory that you are selling on WonderClubX
X
Add Logic Colloquium '01: Lecture Notes In Logic, 20, , Logic Colloquium '01: Lecture Notes In Logic, 20 to your collection on WonderClub |