Loogika: mõtlemisest tõestamiseni

Kuupäev

1997

Ajakirja pealkiri

Ajakirja ISSN

Köite pealkiri

Kirjastaja

Tartu Ülikooli Kirjastus

Abstrakt

Kirjeldus

Märksõnad

loogika, matemaatiline loogika, programmeerimine, intellektitehnika

Viide