| changeset 17 | 66cebc19ef18 |
| parent 15 | 90bc8cccc218 |
| 16:a959398693b5 | 17:66cebc19ef18 |
|---|---|
52 year = {2011}, |
52 year = {2011}, |
53 pages = {341--356}, |
53 pages = {341--356}, |
54 series = {LNCS}, |
54 series = {LNCS}, |
55 volume = {6898} |
55 volume = {6898} |
56 } |
56 } |
57 |
|
58 |
|
59 @Article{Post36, |
|
60 author = {E.~Post}, |
|
61 title = {{F}inite {C}ombinatory {P}rocesses-{F}ormulation 1}, |
|
62 journal = {Journal of Symbolic Logic}, |
|
63 year = {1936}, |
|
64 volume = {1}, |
|
65 number = {3}, |
|
66 pages = {103--105} |
|
67 } |
|
68 |