@incollection{Lopez-Escobar:1985,
    Author = {Lopez-Escobar, E.G.K.},
    BookTitle = {Methods in Mathematical Logic},
    Editor = {Di Prisco, CarlosAugusto},
    File = {Proof functional connectives - Lopez-Escobar (0) (0) - a - a - a.pdf},
    ISBN = {978-3-540-15236-1},
    Language = {English},
    Pages = {208-221},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Mathematics},
    Title = {Proof functional connectives},
    URL = {http://dx.doi.org/10.1007/BFb0075313},
    Volume = {1130},
    Year = {1985},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0075313},
    date-added = {2014-09-08 07:50:01 +0000},
    date-modified = {2014-09-08 07:50:01 +0000},
    doi = {10.1007/BFb0075313}
}

@incollection{Lopez-Escobar:1985, Author = {Lopez-Escobar, E.G.K.}, BookTitle = {Methods in Mathematical Logic}, Editor = {Di Prisco, CarlosAugusto}, File = {Proof functional connectives - Lopez-Escobar (0) (0) - a - a - a.pdf}, ISBN = {978-3-540-15236-1}, Language = {English}, Pages = {208-221}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Mathematics}, Title = {Proof functional connectives}, URL = {http://dx.doi.org/10.1007/BFb0075313}, Volume = {1130}, Year = {1985}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0075313}, date-added = {2014-09-08 07:50:01 +0000}, date-modified = {2014-09-08 07:50:01 +0000}, doi = {10.1007/BFb0075313} }