%0 Journal Article %1 journals/ndjfl/Baker75 %A Baker, John Robert %D 1975 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 496-500 %T On two immediate inferences by limitation. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl16.html#Baker75 %V 16

@article{journals/ndjfl/Baker75, added-at = {2020-05-21T00:00:00.000+0200}, author = {Baker, John Robert}, biburl = {https://www.bibsonomy.org/bibtex/2a4a1ab70225b4cf1dad7f885179d9980/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093891885}, interhash = {91d791e5af11b5291263d95832548720}, intrahash = {a4a1ab70225b4cf1dad7f885179d9980}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {496-500}, timestamp = {2020-05-23T12:18:10.000+0200}, title = {On two immediate inferences by limitation.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl16.html#Baker75}, volume = 16, year = 1975 }