Holdings: Mathematical logic and theoretical computer science

Mathematical logic and theoretical computer science:

Saved in:

Bibliographic Details
Other Authors:	Kueker, David W. 1943- (Editor)
Format:	Book
Language:	English
Published:	New York, NY [u.a.] Marcel Dekker 1987
Series:	Lecture Notes in Pure and Applied Mathematics 106
Subjects:	Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik Theorie Informatik Aufsatzsammlung
Online Access:	Inhaltsverzeichnis
Physical Description:	XVIII, 383 Seiten
ISBN:	0824777468

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV000612469
003	DE-604
005	20201117
007	t
008	870721s1987 \|\|\|\| 00\|\|\| eng d
020			\|a 0824777468 \|9 0-8247-7746-8
035			\|a (OCoLC)14692999
035			\|a (DE-599)BVBBV000612469
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-12 \|a DE-91G \|a DE-703 \|a DE-739 \|a DE-824 \|a DE-83 \|a DE-11 \|a DE-188
050		0	\|a QA9.2
082	0		\|a 511.3 \|2 19
084			\|a SD 1985 \|0 (DE-625)142719: \|2 rvk
084			\|a SI 990 \|0 (DE-625)143213: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 03-06 \|2 msc
084			\|a DAT 540f \|2 stub
084			\|a 68-06 \|2 msc
245	1	0	\|a Mathematical logic and theoretical computer science \|c Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland
264		1	\|a New York, NY [u.a.] \|b Marcel Dekker \|c 1987
300			\|a XVIII, 383 Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Pure and Applied Mathematics \|v 106
650		4	\|a Lógica simbólica y matemática
650		4	\|a Datenverarbeitung
650		4	\|a Algebra
650		4	\|a Electronic data processing
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theorie \|0 (DE-588)4059787-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|D s
689	1	1	\|a Theorie \|0 (DE-588)4059787-8 \|D s
689	1		\|5 DE-604
689	2	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2		\|5 DE-604
700	1		\|a Kueker, David W. \|d 1943- \|0 (DE-588)1053301219 \|4 edt
710	2		\|a Special Year in Mathematics (16, 1984 - 1985, College Park, Md.) \|e Sonstige \|0 (DE-588)16133989-X \|4 oth
830		0	\|a Lecture Notes in Pure and Applied Mathematics \|v 106 \|w (DE-604)BV005871364 \|9 106
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=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-000381261

Record in the Search Index

_version_	1811034335509217280
adam_text	Contents PREFACE i i i CONTRIBUTORS ix PARTICIPANTS IN THE SPECIAL YEAR xi SCHEDULE OF TALKS OF THfc" SPECIAL YEAR xiii TYPED i CALCULUS AND AÜTOfiATED MATHEMATICS 1 Peter B. Andrews LAMBDA CALCULUS EXTENDED WITH SEGMENTS 15 Herman Balsters WELL ORDERING AND INDUCTION IN INTUIT1ONISTIC LOGIC AND TOPO1 29 Andreas Blass SEPARATING RELATIVIZEÜ COMPLEXITY CLASSES 43 Ronald V. Book. GENERALIZING AU TOMATH BY tiEANS OF A LAMBDA TYPED LAMBDA CALCULUS 71 Nicolas G. de Bruiön LOCAL CONCEPTS AND GERM REPRESENTABILITY 93 Marta Bunge and Eduardo J. Dubuc MODEL THEORY OF PROFINITE ÜROUPS HAVING 1P, III 161 Zoe Chatzidakis AN EXTENSION OF FREGE STRUCTURES 197 Robert Flagg and John flyhill ORACLES: THREE NEW RESULTS 219 William Gasarch KUEKER'S CONJECTURE FOR 0 MINIMAL THEORIES 253 David E. Marker and Laura Mayer ON THE EMBEDDING ÜF MANIFOLDS INTO THE SMOOTH ZARISKi TOPOS 261 leKe MoerdijK RINGS OF SMOOTH FUNCTIONS AND THE1R LOCALIZATIONS, II. 277 IeKe MoerdiöK, N. van Que, and Gonzalo E. Reyes vii viii Contents INTERPOLATION AND CONCEPTUAL COfiPLETENESS FOR PRETOPOSES VIA CATEGORY THEORY 301 Andrew Pitts FINITE OE RINGS IN CHARACTERISTIC 4 329 D. Saracino and Carol Wood CONPUTABLE FUNCTIONS IN CATEGORIES 349 Philip Scott A NOTE ON THE COMPLEXITY OF SYNTHESIZING FINITE riACHINES 373 Richard Statman INDEX 379
any_adam_object	1
author2	Kueker, David W. 1943-
author2_role	edt
author2_variant	d w k dw dwk
author_GND	(DE-588)1053301219
author_facet	Kueker, David W. 1943-
building	Verbundindex
bvnumber	BV000612469
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.2
callnumber-search	QA9.2
callnumber-sort	QA 19.2
callnumber-subject	QA - Mathematics
classification_rvk	SD 1985 SI 990 SK 130
classification_tum	DAT 540f
ctrlnum	(OCoLC)14692999 (DE-599)BVBBV000612469
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	Informatik Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV000612469</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201117</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870721s1987 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0824777468</subfield><subfield code="9">0-8247-7746-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)14692999</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000612469</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1985</subfield><subfield code="0">(DE-625)142719:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 990</subfield><subfield code="0">(DE-625)143213:</subfield><subfield code="2">rvk</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="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic and theoretical computer science</subfield><subfield code="c">Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY [u.a.]</subfield><subfield code="b">Marcel Dekker</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 383 Seiten</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">Lecture Notes in Pure and Applied Mathematics</subfield><subfield code="v">106</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lógica simbólica y matemática</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kueker, David W.</subfield><subfield code="d">1943-</subfield><subfield code="0">(DE-588)1053301219</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Special Year in Mathematics (16, 1984 - 1985, College Park, Md.)</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)16133989-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Pure and Applied Mathematics</subfield><subfield code="v">106</subfield><subfield code="w">(DE-604)BV005871364</subfield><subfield code="9">106</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=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000381261</subfield></datafield></record></collection>
genre	(DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufsatzsammlung
id	DE-604.BV000612469
illustrated	Not Illustrated
indexdate	2024-09-24T00:15:31Z
institution	BVB
institution_GND	(DE-588)16133989-X
isbn	0824777468
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-000381261
oclc_num	14692999
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM DE-703 DE-739 DE-824 DE-83 DE-11 DE-188
owner_facet	DE-12 DE-91G DE-BY-TUM DE-703 DE-739 DE-824 DE-83 DE-11 DE-188
physical	XVIII, 383 Seiten
publishDate	1987
publishDateSearch	1987
publishDateSort	1987
publisher	Marcel Dekker
record_format	marc
series	Lecture Notes in Pure and Applied Mathematics
series2	Lecture Notes in Pure and Applied Mathematics
spelling	Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland New York, NY [u.a.] Marcel Dekker 1987 XVIII, 383 Seiten txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Pure and Applied Mathematics 106 Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Theorie (DE-588)4059787-8 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematische Logik (DE-588)4037951-6 s Informatik (DE-588)4026894-9 s DE-604 Datenverarbeitung (DE-588)4011152-0 s Theorie (DE-588)4059787-8 s Kueker, David W. 1943- (DE-588)1053301219 edt Special Year in Mathematics (16, 1984 - 1985, College Park, Md.) Sonstige (DE-588)16133989-X oth Lecture Notes in Pure and Applied Mathematics 106 (DE-604)BV005871364 106 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Mathematical logic and theoretical computer science Lecture Notes in Pure and Applied Mathematics Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Theorie (DE-588)4059787-8 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4059787-8 (DE-588)4011152-0 (DE-588)4026894-9 (DE-588)4143413-4
title	Mathematical logic and theoretical computer science
title_auth	Mathematical logic and theoretical computer science
title_exact_search	Mathematical logic and theoretical computer science
title_full	Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland
title_fullStr	Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland
title_full_unstemmed	Mathematical logic and theoretical computer science Edited by David W. Kueker, Edgar G. Lopez-Escobar, Carl H. Smith, University of Maryland, College Park, Maryland
title_short	Mathematical logic and theoretical computer science
title_sort	mathematical logic and theoretical computer science
topic	Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Theorie (DE-588)4059787-8 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd
topic_facet	Lógica simbólica y matemática Datenverarbeitung Algebra Electronic data processing Logic, Symbolic and mathematical Mathematische Logik Theorie Informatik Aufsatzsammlung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000381261&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV005871364
work_keys_str_mv	AT kuekerdavidw mathematicallogicandtheoreticalcomputerscience AT specialyearinmathematics1619841985collegeparkmd mathematicallogicandtheoreticalcomputerscience

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