相继式演算

Sequenzenkalkül (Math)

xiang1 ji4 shi4 yan3 suan4

Bedeutung / Übersetzung

Sequenzenkalkül (Math)

Chinesische Zeichen

相继式演算

Langzeichen

相繼式演算