Forcing with random variables and proof complexity
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2011
|
| Series: | London Mathematical Society lecture note series
|
| Genre/form: | učebnice vysokých škol |
| ISBN: | 978-0-521-15433-8 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Status | Sublibrary | Description | Location | LCC Call number | Old Call number |
|---|---|---|---|---|---|
| Regular loan | NTK collection | 6th floor, shelf 6D/117 | QA267 .7 .K73 2011 | A 51720 |