Custom cover image
Custom cover image

Selected papers on Automath / edited by R.P. Nederpelt ... [et al.]

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Studies in logic and the foundations of mathematics ; v. 133Publisher: Amsterdam ; New York : Elsevier, 1994Description: Online-Ressource xix, 1024 p : ill ; 24 cmISBN:
  • 0444898220
  • 9780444898227
Subject(s): Additional physical formats: Erscheint auch als: Selected papers on Automath. Druck-Ausgabe. Amsterdam : Elsevier, 1994. XIX, 1024 S.DDC classification:
  • 511.3 22
MSC: MSC: *03B35 | 03B40 | 00B60RVK: RVK: ST 130LOC classification:
  • QA267.3
Online resources: PPN: PPN: 1684905516Package identifier: Produktsigel: ZDB-1-ELC
No physical items for this record

Online-Ausg.]. (Elsevier e-book collection on ScienceDirect)

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha