|
"een formeel systeem in de logische rekenkunde"@nl
"et formelt system indenfor den matematiske logik"@da
"formaalin laskennan malli"@fi
"formal system in mathematical logic"@en
"formala komputa sistemo"@eo
"formale Sprache zur Untersuchung von Funktionen"@de
"formální systém a výpočetní model používaný v teoretické informatice a matematice"@cs
"sistem formal dalam logika matematika"@id
"sistema formal de lògica matemàtica"@ca
"sistema formal en lógica matemática"@es
"sistema formale definito nel 1936 dal matematico Alonzo Church"@it
"système formel de la logique mathématique"@fr
"Формализм в математической логике"@ru
"фармальная сыстэма ў матэматычнай лёгіцы"@be-tarask
"формален систем во математичката логика"@mk
"ալգորիթմ հասկացության աքսիոմատիկ մեթոդ հաշվելիության ձևայնացման և անալիզի համար"@hy
"مبدا"@fa
"ระบบรูปนัยหนึ่งในคณิตตรรกศาสตร์"@th
"計算の実行を関数への引数評価としてモデル化した計算体系"@ja
"추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계"@ko
|
