Last update: Sat Oct 14 02:53:33 MDT 2017
@Article{Lopez-Escobar:1985:PFC, author = "E. G. K. L{\'o}pez-Escobar", title = "Proof functional connectives", journal = j-LECT-NOTES-MATH, volume = "1130", pages = "208--221", year = "1985", CODEN = "LNMAA2", DOI = "https://doi.org/10.1007/BFb0075313", ISBN = "3-540-15236-9 (print), 3-540-39414-1 (e-book)", ISBN-13 = "978-3-540-15236-1 (print), 978-3-540-39414-3 (e-book)", ISSN = "0075-8434 (print), 1617-9692 (electronic)", ISSN-L = "0075-8434", MRclass = "03B60 (03B20 03F30 03F55)", MRnumber = "799043 (87b:03052)", MRreviewer = "Giovanni Criscuolo", bibdate = "Fri May 9 19:07:48 MDT 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1985.bib", URL = "http://link.springer.com/chapter/10.1007/BFb0075313/", acknowledgement = ack-nhfb, book-DOI = "https://doi.org/10.1007/BFb0075303", book-URL = "http://www.springerlink.com/content/978-3-540-39414-3", fjournal = "Lecture Notes in Mathematics", journal-URL = "http://link.springer.com/bookseries/304", }