%D9%86%D8%B8%D8%B1%D9%8A%D8%A9_%D8%A7%D9%84%D9%86%D9%85%D8%B7Tipl%C9%99r_n%C9%99z%C9%99riyy%C9%99siTeorie_typ%C5%AFTypentheorie%CE%98%CE%B5%CF%89%CF%81%CE%AF%CE%B1_%CF%84%CF%8D%CF%80%CF%89%CE%BDType_theoryTeorio_de_tipojTeor%C3%ADa_de_tipos%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%86%D9%88%D8%B9%E2%80%8C%D9%87%D8%A7Th%C3%A9orie_des_types%D7%AA%D7%95%D7%A8%D7%AA_%D7%94%D7%98%D7%99%D7%A4%D7%95%D7%A1%D7%99%D7%9DTeoria_dei_tipi%E5%9E%8B%E7%90%86%E8%AB%96%D0%A2%D0%B8%D0%BF%D1%82%D0%B5%D1%80_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F%D1%81%D1%8B%EC%9C%A0%ED%98%95_%EC%9D%B4%EB%A1%A0TypentheorieTypeteoriTeoria_typ%C3%B3wTeoria_dos_tipos%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%82%D0%B8%D0%BF%D0%BE%D0%B2%D0%A2%D0%B5%D0%BE%D1%80%D1%96%D1%8F_%D1%82%D0%B8%D0%BF%D1%96%D0%B2Q1056428%E9%A1%9E%E5%9E%8B%E8%AB%96%E7%B1%BB%E5%9E%8B%E8%AE%BA
about
sameAs
P1269
P361
description
Ramified Theory of Types by mathematician Bertrand Russell
@en
formale Systeme als Alternativen zur axiomatischen Mengenlehre
@de
teorie
@cs
théorie mathématique
@fr
수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론
@ko
name
Teoria dei tipi
@it
Teoria typów
@pl
Teorie typů
@cs
Théorie des types
@fr
Tiplər nəzəriyyəsi
@az
Typentheorie
@de
Typentheorie
@nl
teoria dos tipos
@pt
teorio de tipoj
@eo
teoría de tipos
@es
type
label
Teoria dei tipi
@it
Teoria typów
@pl
Teorie typů
@cs
Théorie des types
@fr
Tiplər nəzəriyyəsi
@az
Typentheorie
@de
Typentheorie
@nl
teoria dos tipos
@pt
teorio de tipoj
@eo
teoría de tipos
@es
altLabel
Teoria de tipos
@es
Theorie des types
@fr
Typtheorie
@de
tip-teorio
@eo
tipa teorio
@eo
tipoteorio
@eo
tipteorio
@eo
تئوری انواع
@fa
تئوری نوع ها
@fa
نظریه انواع
@fa
prefLabel
Teoria dei tipi
@it
Teoria typów
@pl
Teorie typů
@cs
Théorie des types
@fr
Tiplər nəzəriyyəsi
@az
Typentheorie
@de
Typentheorie
@nl
teoria dos tipos
@pt
teorio de tipoj
@eo
teoría de tipos
@es
P1269
P2581
P3285
P6366
P646
P1417
topic/ramified-theory-of-types
topic/theory-of-types-logic
P2581
P3123
type-theory
P3285
P3417
Type-Theory
P373
Type theory
P3827
type-theory
P6366
P646
P7993
teoria-dei-tipi