REBIUN - ODA

Descripción del título

Computation and Proof Theor...

Computation and Proof Theory : Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983.

Richter, M. M.

Börger, E.

Oberschelp, W.

Schinzel, B.

Thomas, W.

Springer Berlin Heidelberg 1984

Ver

Monografía

monografia Rebiun39123312 https://catalogo.rebiun.org/rebiun/record/Rebiun39123312 cr ||||||||||| 990203s1984 gw j 000 0 eng d 9783540139010 rústica) UIB (72942) CBUC Computation and Proof Theory Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983. Part II M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas (Eds.) Berlin, Heidelberg Springer Berlin Heidelberg 1984 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg Lecture notes in mathematics (Springer-Verlag) 1104 Matemàtica Logic, Symbolic and mathematical Mathematical Logic and Foundations Richter, M. M. Börger, E. Oberschelp, W. Schinzel, B. Thomas, W. SpringerLink Reproducció electrònica Computation and Proof Theory : Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983. Part II. 978354039119 Lecture notes in mathematics 1104

• Localizaciones: 1
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun39123312

Cerrar

monografia Rebiun39123312 https://catalogo.rebiun.org/rebiun/record/Rebiun39123312 cr ||||||||||| 990203s1984 gw j 000 0 eng d 9783540139010 rústica) UIB (72942) CBUC Computation and Proof Theory Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983. Part II M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, W. Thomas (Eds.) Berlin, Heidelberg Springer Berlin Heidelberg 1984 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg Lecture notes in mathematics (Springer-Verlag) 1104 Matemàtica Logic, Symbolic and mathematical Mathematical Logic and Foundations Richter, M. M. Börger, E. Oberschelp, W. Schinzel, B. Thomas, W. SpringerLink Reproducció electrònica Computation and Proof Theory : Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983. Part II. 978354039119 Lecture notes in mathematics 1104