Loogika: mõtlemisest tõestamiseni
Date
1997
Authors
Tamme, Tõnu
Tammet, Tanel
Prank, Rein
Journal Title
Journal ISSN
Volume Title
Publisher
Tartu Ülikooli Kirjastus
Abstract
Description
Keywords
loogika, matemaatiline loogika, programmeerimine, intellektitehnika