Iskani niz je bil najden v IZTOČNICAH:
natürliche Deduktion
Information technology and data processing
da
naturlig deduktion
,
uformel ræsonneren
de
natürliches Schließen
el
άτυπη συλλογιστική
,
απόδειξη θεωρημάτων χωρίς επίλυση
,
φυσικό συμπέρασμα
en
informal reasoning
,
natural deduction
,
nonresolution theorem proving
es
deducción natural
,
demostración de teoremas "no por resolución"
,
razonamiento informal
fi
luonnollinen päättely
fr
déduction naturelle
it
deduzione naturale
nl
informele redenering
,
natuurlijke deductie
pt
dedução natural
,
raciocínio informal
sv
naturlig deduktion
naturlig deduktion
Information technology and data processing
de
natürliches Schließen
el
φυσικό συμπέρασμα
en
natural deduction systems of logic
es
deducción natural
fi
logiikan luonnolliset päättelyjärjestelmät
fr
système logique de déduction naturelle
it
deduzione naturale
nl
natuurlijke deductie
pt
dedução natural
sv
naturlig deduktion
Dostopnost