%D9%84%D9%8A%D9%88%D9%86_%D9%87%D9%8A%D9%86%D9%83%D9%8A%D9%86Category:Leon_HenkinLeon_HenkinLeon_Henkin%D9%84%D8%A6%D9%88%D9%86_%D9%87%D9%86%DA%A9%DB%8C%D9%86Leon_HenkinLeon_Henkin%E3%83%AC%E3%82%AA%E3%83%B3%E3%83%BB%E3%83%98%E3%83%B3%E3%82%AD%E3%83%B3Leon_HenkinLeon_HenkinLeon_Henkin%D0%A5%D0%B5%D0%BD%D0%BA%D0%B8%D0%BD,_%D0%9B%D0%B5%D0%BE%D0%BDQ111637
about
P1346
P138
P184
P185
Completeness in the theory of typesBook Review: Introduction to Mathematical Logic,The completeness of the first-order functional calculusFragments of the propositional calculusOn the primitive symbols of Quine's « Mathematical Logic »The Logic of EqualityMathematical Foundations for MathematicsOn Mathematical Induction
P50
P802
description
Ameerika Ühendriikide matemaatik
@et
American mathematician
@en
Amerikaans wiskundige
@nl
US-amerikanischer Logiker
@de
Usana matematikisto
@io
amerikansk matematikar
@nn
amerikansk matematiker
@da
amerikansk matematiker
@nb
amerikansk matematiker
@sv
matamaiticeoir Meiriceánach
@ga
name
Leon Henkin
@ast
Leon Henkin
@ca
Leon Henkin
@cy
Leon Henkin
@da
Leon Henkin
@de
Leon Henkin
@en
Leon Henkin
@es
Leon Henkin
@fi
Leon Henkin
@fr
Leon Henkin
@ga
type
label
Leon Henkin
@ast
Leon Henkin
@ca
Leon Henkin
@cy
Leon Henkin
@da
Leon Henkin
@de
Leon Henkin
@en
Leon Henkin
@es
Leon Henkin
@fi
Leon Henkin
@fr
Leon Henkin
@ga
prefLabel
Leon Henkin
@ast
Leon Henkin
@ca
Leon Henkin
@cy
Leon Henkin
@da
Leon Henkin
@de
Leon Henkin
@en
Leon Henkin
@es
Leon Henkin
@fi
Leon Henkin
@fr
Leon Henkin
@ga