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

Citation