An Axiomatics for First-order Logic

英 美
  • 经典一阶逻辑的希尔伯特型系统
  • an art.（用在元音音素前）一
  • axiomatics n.公理体系
  • first adj.第一的；最初的adv.首先；第一n.最初；(序数词)第一
  • for prep.为；因为；代表；往；支持；关于；给conj.因为
  • logic n.逻辑；逻辑学；条理性；推理

相关词汇

an Anglicise
展开全文

大家正在查

trawling是什么意思 fly-fishing是什么意思 aner是什么意思 anhydrodigitoxigenin是什么意思 Ankio是什么意思 Anglo-Asian是什么意思 Anglo-Catholic是什么意思 Anglo-是什么意思 Anglo-American是什么意思 Anglo-Irish是什么意思