Holdings: Abstract automath :: THWS Bibkatalog

Abstract automath:

Saved in:

Bibliographic Details
Main Author:	Rezus, Adrian (Author)
Format:	Book
Language:	English
Published:	Amsterdam Mathematisch Centrum 1983
Series:	Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts 160.
Subjects:	AUTOMATH (Formal language)
Online Access:	Inhaltsverzeichnis
Physical Description:	VI, 188 S.
ISBN:	9061962560

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV003442299
003	DE-604
005	20160420
007	t
008	900725s1983 \|\|\|\| 00\|\|\| eng d
020			\|a 9061962560 \|9 90-6196-256-0
035			\|a (OCoLC)9926189
035			\|a (DE-599)BVBBV003442299
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-384 \|a DE-91G \|a DE-739 \|a DE-83 \|a DE-188
050		0	\|a QA267.3
082	0		\|a 511.3 \|b R467a
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
100	1		\|a Rezus, Adrian \|e Verfasser \|4 aut
245	1	0	\|a Abstract automath \|c A. Rezus
264		1	\|a Amsterdam \|b Mathematisch Centrum \|c 1983
300			\|a VI, 188 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts \|v 160.
650		4	\|a AUTOMATH (Formal language)
830		0	\|a Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts \|v 160. \|w (DE-604)BV000893527 \|9 160.
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002178993&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-002178993

Record in the Search Index

_version_	1804117790043406336
adam_text	CONTENTS 0.INTRODUCTION 1 01.AUT0MATH: historical landmarks 2 02.AUTOMATH: tracing back motivations 7 O3.AUTOMATH versus semantics 14 04.The contents of this work 18 05.Abstract AUTOMATH: definition scheme 24 1.LANGUAGE DEFINITION: WELL-FORMEDNESS 28 10.Alphabets to use 28 101.Further structure on (floating) constants 32 11.Variable-strings 36 12.Term structures 37 121.Terms 37 122.Canonical terms and definitions 41 123.Combinatory reduction systems 47 13.Term-strings 55 14.E—sentences 57 15.Contexts 59 16.Constructions and sites 61 2.LANGUAGE DEFINITION: CORRECTNESS 65 20.Correctness categories 65 21.Correctness for Primitive and Classical (Abstract) AUTOMATH 71 211.Correctness rules for PA and CA 72 212.Basic epi-theory for PA.CA: structural lemmas 80 213.Basic epi-theory: invariance under site- and/or context- expansion 91 214.Substitution and category correctness 95 22.Correctness for Q~A and QA 98 221.Correctness rules for Q A and QA 103 222.Basic epi-theory for Q A and QA 106 vi 3.GLOBAL STRUCTURE OF CORRECTNESS: PA-SEPARATION 112 30.What is going on: heuristics 112 31.Tree-analysis 116 311.Well-formedness part 116 312.Analytic trees 121 313.Genetic trees: a digression 124 314.On isolating wfe s on PA 131 32.Global structure of (LA-compatible) sites 134 321.Reduced sites.Reference order in LA-sites 134 322.Proof theory: correctness proofs and their indices 138 323.Analytic sites qua reducts and some topology 156 33.Conserving PA-correctness 163 331. Conservation over PA 163 332.PA-separation and conservativity over PA 167 REFERENCES 172 INDEX OF NOTIONS 185
any_adam_object	1
author	Rezus, Adrian
author_facet	Rezus, Adrian
author_role	aut
author_sort	Rezus, Adrian
author_variant	a r ar
building	Verbundindex
bvnumber	BV003442299
callnumber-first	Q - Science
callnumber-label	QA267
callnumber-raw	QA267.3
callnumber-search	QA267.3
callnumber-sort	QA 3267.3
callnumber-subject	QA - Mathematics
classification_rvk	SK 130
ctrlnum	(OCoLC)9926189 (DE-599)BVBBV003442299
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01281nam a2200337 cb4500</leader><controlfield tag="001">BV003442299</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160420 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1983 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9061962560</subfield><subfield code="9">90-6196-256-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)9926189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003442299</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="b">R467a</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rezus, Adrian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstract automath</subfield><subfield code="c">A. Rezus</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Mathematisch Centrum</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 188 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts</subfield><subfield code="v">160.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">AUTOMATH (Formal language)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts</subfield><subfield code="v">160.</subfield><subfield code="w">(DE-604)BV000893527</subfield><subfield code="9">160.</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002178993&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002178993</subfield></datafield></record></collection>
id	DE-604.BV003442299
illustrated	Not Illustrated
indexdate	2024-07-09T16:00:00Z
institution	BVB
isbn	9061962560
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-002178993
oclc_num	9926189
open_access_boolean
owner	DE-384 DE-91G DE-BY-TUM DE-739 DE-83 DE-188
owner_facet	DE-384 DE-91G DE-BY-TUM DE-739 DE-83 DE-188
physical	VI, 188 S.
publishDate	1983
publishDateSearch	1983
publishDateSort	1983
publisher	Mathematisch Centrum
record_format	marc
series	Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts
series2	Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts
spelling	Rezus, Adrian Verfasser aut Abstract automath A. Rezus Amsterdam Mathematisch Centrum 1983 VI, 188 S. txt rdacontent n rdamedia nc rdacarrier Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts 160. AUTOMATH (Formal language) Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts 160. (DE-604)BV000893527 160. HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002178993&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Rezus, Adrian Abstract automath Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts AUTOMATH (Formal language)
title	Abstract automath
title_auth	Abstract automath
title_exact_search	Abstract automath
title_full	Abstract automath A. Rezus
title_fullStr	Abstract automath A. Rezus
title_full_unstemmed	Abstract automath A. Rezus
title_short	Abstract automath
title_sort	abstract automath
topic	AUTOMATH (Formal language)
topic_facet	AUTOMATH (Formal language)
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002178993&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000893527
work_keys_str_mv	AT rezusadrian abstractautomath

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items