%0 Journal Article %1 journals/ndjfl/Mihailescu67 %A Mihailescu, Eugen %D 1967 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 239-253 %T Decision problem in the classical logic. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl8.html#Mihailescu67 %V 8

@article{journals/ndjfl/Mihailescu67, added-at = {2020-05-21T00:00:00.000+0200}, author = {Mihailescu, Eugen}, biburl = {https://www.bibsonomy.org/bibtex/2ed3ec82ff17e9177409754f320758601/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093956090}, interhash = {0046706a6c28b2acf42eb2e77eb7ff4a}, intrahash = {ed3ec82ff17e9177409754f320758601}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {239-253}, timestamp = {2020-05-23T12:15:45.000+0200}, title = {Decision problem in the classical logic.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl8.html#Mihailescu67}, volume = 8, year = 1967 }