Cargando…
Selected papers on Automath /
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1994.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 133. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn316568622 | ||
| 003 | OCoLC | ||
| 005 | 20231117015252.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090320s1994 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d OCLCF |d OCLCO |d DEBBG |d N$T |d IDEBK |d MERUC |d YDXCP |d E7B |d OCLCQ |d DEBSZ |d LEAUB |d S2H |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 304564118 |a 646774883 | ||
| 020 | |a 9780444898227 | ||
| 020 | |a 0444898220 | ||
| 020 | |a 9780080887180 |q (electronic bk.) | ||
| 020 | |a 008088718X |q (electronic bk.) | ||
| 035 | |a (OCoLC)316568622 |z (OCoLC)304564118 |z (OCoLC)646774883 | ||
| 050 | 4 | |a QA267.3 |b .S45 1994eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 245 | 0 | 0 | |a Selected papers on Automath / |c edited by R.P. Nederpelt [and others]. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 1994. | ||
| 300 | |a 1 online resource (xix, 1024 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 133 | |
| 520 | |a The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations. | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Selected Papers on Authomath; Copyright Page; Preface; Contents; Hints for the reader; Notation; Introduction; Part A: Motivation and exposition; Part B: Language deflnition and special subjects; Part C: Theory; PART D: Text examples; PART E: Verification; PART F: Related topics; Bibliography; References; Indexes; Index of Names; Index of Notations; Index of Subjects. | |
| 650 | 0 | |a AUTOMATH (Formal language) | |
| 650 | 6 | |a AUTOMATH (Langage formel) |0 (CaQQLa)201-0061321 | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a AUTOMATH (Formal language) |2 fast |0 (OCoLC)fst00794117 | |
| 650 | 1 | 7 | |a Combinatorische logica. |2 gtt |
| 650 | 1 | 7 | |a Automath. |2 gtt |
| 650 | 1 | 7 | |a Taal. |2 gtt |
| 650 | 1 | 7 | |a Wiskunde. |2 gtt |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 653 | 0 | |a Mathematical logic | |
| 700 | 1 | |a Nederpelt, R. P. |q (Rob P.) | |
| 776 | 0 | 8 | |i Print version: |t Selected papers on Automath. |d Amsterdam ; New York : Elsevier, 1994 |z 0444898220 |z 9780444898227 |w (DLC) 94034022 |w (OCoLC)31075875 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 133. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444898227 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=133 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/133 |z Texto completo |