Terms for subject Information technology containing logic system

English	Swedish
binary logic system	binärt logiskt system
logic system	logiksystem
natural deduction systems of logic	naturlig deduktion
one-dimensional logic system	endimensionellt logiskt system
passive logic system	passivt logiksystem
system of formal logic	axiomatiskt system
system of formal logic	formellt system