Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983: Part 2: Computation and Proof Theory

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Richter, M. M, Börger, E, Oberschelp, W, Schinzel, B, Thomas, W
Format:	Buch
Sprache:	eng
Schlagworte:	Logic, Symbolic and mathematical-Congresses
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page
container_issue
container_start_page
container_title
container_volume	1104
creator	Richter, M. M Börger, E Oberschelp, W Schinzel, B Thomas, W
description
format	Book
fullrecord	<record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_ebookcentral_EBC6842816</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC6842816</sourcerecordid><originalsourceid>FETCH-LOGICAL-a4076-d1648e92886163e9282e433aa2753a65ae68402d6f1d5f16f987258729f8978c3</originalsourceid><addsrcrecordid>eNotj81OwzAQhI0QCFryDr5xIcjrTfxzLKGloEhwAIlbZZJ1GzAxJM2Bt8cVjDTamcunnSOWWW2wLARaAKuP2exQAK2A11M2A9AglJAIZywbx3eRhFIKoc7Z7dMQG6K267cjj57vd8TruO0aXsUQ4vfUTZ_XfE2h5V3PF67ZUX_FH6bww8HkEjlYgxfsxLswUvZ_5-xltXyu1nn9eHdfLercFUKrvAVVGLLSGAUKD0FSgeic1CU6VTpSphCyVR7a0oPy1mhZJltv0sAG5-zyj_s1pM9o3G_oLcaPhvr94MJmeVMlgDQJ_gvFB0ht</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC6842816</pqid></control><display><type>book</type><title>Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983: Part 2: Computation and Proof Theory</title><source>Springer Books</source><creator>Richter, M. M ; Börger, E ; Oberschelp, W ; Schinzel, B ; Thomas, W</creator><creatorcontrib>Richter, M. M ; Börger, E ; Oberschelp, W ; Schinzel, B ; Thomas, W</creatorcontrib><edition>1</edition><identifier>ISBN: 354013901X</identifier><identifier>ISBN: 9783540139010</identifier><identifier>EISBN: 9783540391197</identifier><identifier>EISBN: 3540391193</identifier><identifier>OCLC: 1171060231</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin / Heidelberg</publisher><subject>Logic, Symbolic and mathematical-Congresses</subject><creationdate>1984</creationdate><tpages>481</tpages><format>481</format><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,780,784,786</link.rule.ids></links><search><creatorcontrib>Richter, M. M</creatorcontrib><creatorcontrib>Börger, E</creatorcontrib><creatorcontrib>Oberschelp, W</creatorcontrib><creatorcontrib>Schinzel, B</creatorcontrib><creatorcontrib>Thomas, W</creatorcontrib><title>Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983: Part 2: Computation and Proof Theory</title><subject>Logic, Symbolic and mathematical-Congresses</subject><isbn>354013901X</isbn><isbn>9783540139010</isbn><isbn>9783540391197</isbn><isbn>3540391193</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>1984</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNotj81OwzAQhI0QCFryDr5xIcjrTfxzLKGloEhwAIlbZZJ1GzAxJM2Bt8cVjDTamcunnSOWWW2wLARaAKuP2exQAK2A11M2A9AglJAIZywbx3eRhFIKoc7Z7dMQG6K267cjj57vd8TruO0aXsUQ4vfUTZ_XfE2h5V3PF67ZUX_FH6bww8HkEjlYgxfsxLswUvZ_5-xltXyu1nn9eHdfLercFUKrvAVVGLLSGAUKD0FSgeic1CU6VTpSphCyVR7a0oPy1mhZJltv0sAG5-zyj_s1pM9o3G_oLcaPhvr94MJmeVMlgDQJ_gvFB0ht</recordid><startdate>1984</startdate><enddate>1984</enddate><creator>Richter, M. M</creator><creator>Börger, E</creator><creator>Oberschelp, W</creator><creator>Schinzel, B</creator><creator>Thomas, W</creator><general>Springer Berlin / Heidelberg</general><scope/></search><sort><creationdate>1984</creationdate><title>Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983</title><author>Richter, M. M ; Börger, E ; Oberschelp, W ; Schinzel, B ; Thomas, W</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a4076-d1648e92886163e9282e433aa2753a65ae68402d6f1d5f16f987258729f8978c3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>1984</creationdate><topic>Logic, Symbolic and mathematical-Congresses</topic><toplevel>online_resources</toplevel><creatorcontrib>Richter, M. M</creatorcontrib><creatorcontrib>Börger, E</creatorcontrib><creatorcontrib>Oberschelp, W</creatorcontrib><creatorcontrib>Schinzel, B</creatorcontrib><creatorcontrib>Thomas, W</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Richter, M. M</au><au>Börger, E</au><au>Oberschelp, W</au><au>Schinzel, B</au><au>Thomas, W</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983: Part 2: Computation and Proof Theory</btitle><date>1984</date><risdate>1984</risdate><volume>1104</volume><isbn>354013901X</isbn><isbn>9783540139010</isbn><eisbn>9783540391197</eisbn><eisbn>3540391193</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin / Heidelberg</pub><oclcid>1171060231</oclcid><tpages>481</tpages><edition>1</edition></addata></record>
fulltext	fulltext
identifier	ISBN: 354013901X
ispartof
issn
language	eng
recordid	cdi_proquest_ebookcentral_EBC6842816
source	Springer Books
subjects	Logic, Symbolic and mathematical-Congresses
title	Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983: Part 2: Computation and Proof Theory
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T21%3A23%3A35IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Proceedings%20of%20the%20Logic%20Colloquium.%20Held%20in%20Aachen,%20July%2018-23%201983:%20Part%202:%20Computation%20and%20Proof%20Theory&rft.au=Richter,%20M.%20M&rft.date=1984&rft.volume=1104&rft.isbn=354013901X&rft.isbn_list=9783540139010&rft_id=info:doi/&rft_dat=%3Cproquest%3EEBC6842816%3C/proquest%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540391197&rft.eisbn_list=3540391193&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC6842816&rft_id=info:pmid/&rfr_iscdi=true