Logic, meaning and computation. Corcoran, J. Second-Order Logic, 2015. bibtex @Article{Corcoran2015,
author = {Corcoran, John},
title = {Logic, meaning and computation},
journal = {Second-Order Logic},
volume = {},
number = {Chapter 2},
pages = {1--16},
year = {2015},
abstract = {},
location = {Dordrecht},
keywords = {}}
Downloads: 0
{"_id":"FhHrcCGmXBcp6qMqJ","bibbaseid":"corcoran-logicmeaningandcomputation-2015","authorIDs":[],"author_short":["Corcoran, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Corcoran"],"firstnames":["John"],"suffixes":[]}],"title":"Logic, meaning and computation","journal":"Second-Order Logic","volume":"","number":"Chapter 2","pages":"1–16","year":"2015","abstract":"","location":"Dordrecht","keywords":"","bibtex":"@Article{Corcoran2015,\nauthor = {Corcoran, John}, \ntitle = {Logic, meaning and computation}, \njournal = {Second-Order Logic}, \nvolume = {}, \nnumber = {Chapter 2}, \npages = {1--16}, \nyear = {2015}, \nabstract = {}, \nlocation = {Dordrecht}, \nkeywords = {}}\n\n\n","author_short":["Corcoran, J."],"key":"Corcoran2015","id":"Corcoran2015","bibbaseid":"corcoran-logicmeaningandcomputation-2015","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.224Z","downloads":0,"keywords":[],"search_terms":["logic","meaning","computation","corcoran"],"title":"Logic, meaning and computation","year":2015,"dataSources":["hEoKh4ygEAWbAZ5iy"]}