Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
Proof, logic, and formalization / edited by Michael Detlefsen.
ISBN:
0415023351
Lugar de Edición:
London ;
Editor:
Routledge,
Fecha de Edición:
1992.
Palabras clave:
FILOSOFIA DE LAS MATEMATICAS; Logic, Symbolic and mathematical.; Logique symbolique et mathématique.; Preuve, théorie de la.; Proof theory.

Leader:
cam
Campo 003:
OCoLC
Campo 008:
910409s1992 enka b 001 0 eng
Campo 020:
^a0415023351
Campo 245:
00^aProof, logic, and formalization /^cedited by Michael Detlefsen.
Campo 246:
Campo 260:
^aLondon ;^aNew York :^bRoutledge,^c1992.
Campo 300:
^ax, 241 p. :^bill. ;^c23 cm.
Campo 650:
4^aFILOSOFIA DE LAS MATEMATICAS
Campo 650:
0^aLogic, Symbolic and mathematical.
Campo 650:
7^aLogique symbolique et mathématique.^2ram
Campo 650:
7^aPreuve, théorie de la.^2ram
Campo 650:
0^aProof theory.
Campo 653:
^aMathematics
Campo 653:
0 ^aMathematical logic
Campo 700:
1 ^aDetlefsen, Michael,^d1948-
Proveniencia:
^aUnRioCuarto
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Base de Datos MARC21 - OCLC
Dependencia:
BDUMARC21

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito