| changeset 9 | 965df91a24bc |
| parent 8 | c216ae455c90 |
| child 13 | a7ec585d7f20 |
| 8:c216ae455c90 | 9:965df91a24bc |
|---|---|
35 title = {???}, |
35 title = {???}, |
36 note = {Submitted}, |
36 note = {Submitted}, |
37 year = {2012} |
37 year = {2012} |
38 } |
38 } |
39 |
39 |
40 @book{Boolos87, |
|
41 author = {G.~Boolos and R.~C.~Jeffrey}, |
|
42 title = {{C}omputability and {L}ogic (2.~ed.)}, |
|
43 publisher = {Cambridge University Press}, |
|
44 year = {1987} |
|
45 } |