Decidable theories

Contributor(s): Resource type: Ressourcentyp: ReiheSeriesLanguage: German Volumes: Show volumesPublisher: Berlin ; Heidelberg [u.a.], 1970-Other title:
  • Lecture notes in mathematics <Berlin> / Decidable theories
Genre/Form: DDC classification:
  • 510
Publication dates: Erscheinungsverlauf: 1.1970 -Other relationships: Weitere Beziehungen: PPN: PPN: 167411268ZDB ID: ZDB-ID: 517956-7
No physical items for this record