Loogika: mõtlemisest tõestamiseni

Date

1997

Journal Title

Journal ISSN

Volume Title

Publisher

Tartu Ülikooli Kirjastus

Abstract

Description

Keywords

loogika, matemaatiline loogika, programmeerimine, intellektitehnika

Citation