> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Computer Programming and Formal Systems: A Simplified Proof Method for Elementary Logic Beteiligte: Kanger, Stig Erschienen: Elsevier, 1963 Erschienen in: Computer Programming and Formal Systems (1963), Seite 87-94 Sprache: Nicht zu entscheiden DOI: 10.1016/s0049-237x(08)72020-2 ISSN: 0049-237X Entstehung: Anmerkungen: