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