%0 Journal Article %1 journals/ndjfl/Dopp72 %A Döpp, Klemens %D 1972 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 561-562 %T Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl13.html#Dopp72 %V 13

@article{journals/ndjfl/Dopp72, added-at = {2020-05-21T00:00:00.000+0200}, author = {Döpp, Klemens}, biburl = {https://www.bibsonomy.org/bibtex/26a44268ad5b2ff4200e5ef2517b9c8a3/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093890722}, interhash = {e4321203b150ba897eee41f019480419}, intrahash = {6a44268ad5b2ff4200e5ef2517b9c8a3}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {561-562}, timestamp = {2020-05-23T12:17:24.000+0200}, title = {Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl13.html#Dopp72}, volume = 13, year = 1972 }