Holdings: Intensional mathematics

Intensional mathematics:

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Published:	Amsterdam [u.a.] North-Holland 1985
Series:	Studies in logic and the foundations of mathematics 113
Subjects:	Intuitionistische Mathematik Konstruktive Mathematik Intensionale Logik Mathematik Aufsatzsammlung
Online Access:	Inhaltsverzeichnis
Physical Description:	V, 230 S.
ISBN:	0444876324

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV000268550
003	DE-604
005	20171010
007	t
008	870612s1985 \|\|\|\| 00\|\|\| eng d
020			\|a 0444876324 \|9 0-444-87632-4
035			\|a (OCoLC)230656902
035			\|a (DE-599)BVBBV000268550
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-12 \|a DE-19 \|a DE-703 \|a DE-739 \|a DE-29T \|a DE-706 \|a DE-83 \|a DE-188
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 03-06 \|2 msc
084			\|a MAT 010f \|2 stub
245	1	0	\|a Intensional mathematics \|c ed. by Stewart Shapiro
264		1	\|a Amsterdam [u.a.] \|b North-Holland \|c 1985
300			\|a V, 230 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Studies in logic and the foundations of mathematics \|v 113
650	0	7	\|a Intuitionistische Mathematik \|0 (DE-588)4162200-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Konstruktive Mathematik \|0 (DE-588)4165105-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Intensionale Logik \|0 (DE-588)4161959-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Intuitionistische Mathematik \|0 (DE-588)4162200-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Konstruktive Mathematik \|0 (DE-588)4165105-4 \|D s
689	1		\|5 DE-604
689	2	0	\|a Intensionale Logik \|0 (DE-588)4161959-6 \|D s
689	2	1	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	2		\|5 DE-604
700	1		\|a Shapiro, Stewart \|d 1951- \|e Sonstige \|0 (DE-588)131540564 \|4 oth
830		0	\|a Studies in logic and the foundations of mathematics \|v 113 \|w (DE-604)BV000893472 \|9 113
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=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|q TUB-www
999			\|a oai:aleph.bib-bvb.de:BVB01-000163444

Record in the Search Index

_version_	1804114736448536576
adam_text	V TABLE OF CONTENTS 1. Introduction: Intensional Mathematics and Constructive Mathematics Stewart Shapiro 1 2. Epistemic and Intuitionistic Arithmetic Stewart Shapiro 11 3. Intensional Set Theory John Myhill 47 4. A Genuinely Intensional Set Theory Nicholas D. Goodman 63 5. Extending GodeFs Modal Interpretation to Type Theory and Set Theory Andrej Scedrov 81 6. Church s Thesis is Consistent with Epistemic Arithmetic Robert C. Flagg 121 7. Calculable Natural Numbers Vladimir Lifschitz 173 8. Modality and Self Reference Raymond M. Smullyan 191 9. Some Principles Related to Lob s Theorem Raymond M. Smullyan 213
any_adam_object	1
author_GND	(DE-588)131540564
building	Verbundindex
bvnumber	BV000268550
classification_rvk	SK 130
classification_tum	MAT 010f
ctrlnum	(OCoLC)230656902 (DE-599)BVBBV000268550
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01968nam a2200481 cb4500</leader><controlfield tag="001">BV000268550</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171010 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1985 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444876324</subfield><subfield code="9">0-444-87632-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)230656902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000268550</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-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</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">MAT 010f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intensional mathematics</subfield><subfield code="c">ed. by Stewart Shapiro</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 230 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">113</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-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">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</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">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</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">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">Shapiro, Stewart</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131540564</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">113</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">113</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=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000163444</subfield></datafield></record></collection>
genre	(DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufsatzsammlung
id	DE-604.BV000268550
illustrated	Not Illustrated
indexdate	2024-07-09T15:11:27Z
institution	BVB
isbn	0444876324
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-000163444
oclc_num	230656902
open_access_boolean
owner	DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-29T DE-706 DE-83 DE-188
owner_facet	DE-12 DE-19 DE-BY-UBM DE-703 DE-739 DE-29T DE-706 DE-83 DE-188
physical	V, 230 S.
psigel	TUB-www
publishDate	1985
publishDateSearch	1985
publishDateSort	1985
publisher	North-Holland
record_format	marc
series	Studies in logic and the foundations of mathematics
series2	Studies in logic and the foundations of mathematics
spelling	Intensional mathematics ed. by Stewart Shapiro Amsterdam [u.a.] North-Holland 1985 V, 230 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 113 Intuitionistische Mathematik (DE-588)4162200-5 gnd rswk-swf Konstruktive Mathematik (DE-588)4165105-4 gnd rswk-swf Intensionale Logik (DE-588)4161959-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Intuitionistische Mathematik (DE-588)4162200-5 s DE-604 Konstruktive Mathematik (DE-588)4165105-4 s Intensionale Logik (DE-588)4161959-6 s Mathematik (DE-588)4037944-9 s Shapiro, Stewart 1951- Sonstige (DE-588)131540564 oth Studies in logic and the foundations of mathematics 113 (DE-604)BV000893472 113 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Intensional mathematics Studies in logic and the foundations of mathematics Intuitionistische Mathematik (DE-588)4162200-5 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd Intensionale Logik (DE-588)4161959-6 gnd Mathematik (DE-588)4037944-9 gnd
subject_GND	(DE-588)4162200-5 (DE-588)4165105-4 (DE-588)4161959-6 (DE-588)4037944-9 (DE-588)4143413-4
title	Intensional mathematics
title_auth	Intensional mathematics
title_exact_search	Intensional mathematics
title_full	Intensional mathematics ed. by Stewart Shapiro
title_fullStr	Intensional mathematics ed. by Stewart Shapiro
title_full_unstemmed	Intensional mathematics ed. by Stewart Shapiro
title_short	Intensional mathematics
title_sort	intensional mathematics
topic	Intuitionistische Mathematik (DE-588)4162200-5 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd Intensionale Logik (DE-588)4161959-6 gnd Mathematik (DE-588)4037944-9 gnd
topic_facet	Intuitionistische Mathematik Konstruktive Mathematik Intensionale Logik Mathematik Aufsatzsammlung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000163444&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000893472
work_keys_str_mv	AT shapirostewart intensionalmathematics

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