F1147 ej.1

McKinsey, J. C. C. (1908-...)
  Proof of the independence of the primitive symbols of Heyting's calculus of propositions [FOLL]. -- New York : Association of Symbolic Logic, 1939

  The journal of symbolic logic. Vol. 4, Nº 4 December, 1939.

  1. HEYTING, AREND, 1898-1980; 2. LOGICA MATEMATICA; 3. CALCULO

  (42) Inv.: 13-F01147 S.T.: F1147 ej.1

1 Ejemplar

U. Info.	Inventario	S.T. / Ubicación
HUMFILO	13-F01147	F1147 ej.1