Inglésformal deductive syste
Checovýroková logika
AlemánAussagenlogik
Griegoπροτασιακός λογισμός
Islandéscheckyrðingareikninguryrðingarökfræði
Macedonioисказна логика
Polacorachunek zdań
English translator: Spanish исказна логика Eesti sõnaraamat Español Traductor Svenska Översättare