@article{church40, author = "Alonzo Church", title = "A Formulation of the Simple Theory of Types", journal = "Journal of Symbolic Logic", year = 1940, volume = 5, pages = "56-68"}
@TechReport{Gordon:1985:HOL, author = {M. J. C. Gordon}, title = {{HOL}: A machine oriented formulation of higher order logic},
institution = {University of Cambridge Computer Laboratory}, year = 1985, number = 68
}
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
