Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Web Site CiNii Available at 73 libraries

Bibliographic Information

Title
"Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II"
Statement of Responsibility
edited by M.M. Richter ... [et al.]
Publisher
  • Springer-Verlag
Publication Year
  • 1984
Book size
25 cm
Series Name / No
  • : gw
  • : us
Other Title
  • Models and sets

Search this Book/Journal

Notes

"Ein weiterer Band der Proceedings erscheint unter dem Titel "Models and Sets" ebenfalls in den Lencture Notes in Mathematics ... "

Includes bibliographies

Related Books

See more

Details 詳細情報について

Back to top