Varieties of constructive mathematics:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge [Cambridgeshire]
Cambridge University Press
1987
|
| Series: | London Mathematical Society lecture note series
97 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | 1 Online-Ressource (x, 149 p.) |
| ISBN: | 0521318025 1107361338 9780511565663 9780521318020 9781107361331 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043130534 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1987 |||| o||u| ||||||eng d | ||
| 020 | |a 0521318025 |9 0-521-31802-5 | ||
| 020 | |a 1107361338 |c electronic bk. |9 1-107-36133-8 | ||
| 020 | |a 9780511565663 |9 978-0-511-56566-3 | ||
| 020 | |a 9780521318020 |9 978-0-521-31802-0 | ||
| 020 | |a 9781107361331 |c electronic bk. |9 978-1-107-36133-1 | ||
| 035 | |a (OCoLC)839527997 | ||
| 035 | |a (DE-599)BVBBV043130534 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 100 | 1 | |a Bridges, D. S., (Douglas S.) |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Varieties of constructive mathematics |c Douglas Bridges, Fred Richman |
| 264 | 1 | |a Cambridge [Cambridgeshire] |b Cambridge University Press |c 1987 | |
| 300 | |a 1 Online-Ressource (x, 149 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a London Mathematical Society lecture note series |v 97 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Mathématiques constructives | |
| 650 | 7 | |a Sistemas lógicos não clássicos |2 larpcal | |
| 650 | 7 | |a Matemática construtiva |2 larpcal | |
| 650 | 7 | |a Konstruktive Mathematik |2 swd | |
| 650 | 7 | |a Mathematische Logik |2 swd | |
| 650 | 7 | |a Mathématiques constructives |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Constructive mathematics |2 fast | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Richman, Fred |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028554725 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175569391190016 |
|---|---|
| any_adam_object | |
| author | Bridges, D. S., (Douglas S.) |
| author_facet | Bridges, D. S., (Douglas S.) |
| author_role | aut |
| author_sort | Bridges, D. S., (Douglas S.) |
| author_variant | d s d s b dsds dsdsb |
| building | Verbundindex |
| bvnumber | BV043130534 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)839527997 (DE-599)BVBBV043130534 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02706nmm a2200625zcb4500</leader><controlfield tag="001">BV043130534</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1987 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521318025</subfield><subfield code="9">0-521-31802-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107361338</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-107-36133-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511565663</subfield><subfield code="9">978-0-511-56566-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521318020</subfield><subfield code="9">978-0-521-31802-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107361331</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-107-36133-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839527997</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043130534</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bridges, D. S., (Douglas S.)</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Varieties of constructive mathematics</subfield><subfield code="c">Douglas Bridges, Fred Richman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [Cambridgeshire]</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 149 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">97</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sistemas lógicos não clássicos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Matemática construtiva</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathématiques constructives</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constructive mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</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">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="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=" "><subfield code="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Richman, Fred</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028554725</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043130534 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:22Z |
| institution | BVB |
| isbn | 0521318025 1107361338 9780511565663 9780521318020 9781107361331 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028554725 |
| oclc_num | 839527997 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (x, 149 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Bridges, D. S., (Douglas S.) Verfasser aut Varieties of constructive mathematics Douglas Bridges, Fred Richman Cambridge [Cambridgeshire] Cambridge University Press 1987 1 Online-Ressource (x, 149 p.) txt rdacontent c rdamedia cr rdacarrier London Mathematical Society lecture note series 97 Includes bibliographical references and index Mathématiques constructives Sistemas lógicos não clássicos larpcal Matemática construtiva larpcal Konstruktive Mathematik swd Mathematische Logik swd Mathématiques constructives ram Logique symbolique et mathématique ram MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Constructive mathematics fast Constructive mathematics Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Konstruktive Mathematik (DE-588)4165105-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Konstruktive Mathematik (DE-588)4165105-4 s 2\p DE-604 Richman, Fred Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Bridges, D. S., (Douglas S.) Varieties of constructive mathematics Mathématiques constructives Sistemas lógicos não clássicos larpcal Matemática construtiva larpcal Konstruktive Mathematik swd Mathematische Logik swd Mathématiques constructives ram Logique symbolique et mathématique ram MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Constructive mathematics fast Constructive mathematics Mathematische Logik (DE-588)4037951-6 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4165105-4 |
| title | Varieties of constructive mathematics |
| title_auth | Varieties of constructive mathematics |
| title_exact_search | Varieties of constructive mathematics |
| title_full | Varieties of constructive mathematics Douglas Bridges, Fred Richman |
| title_fullStr | Varieties of constructive mathematics Douglas Bridges, Fred Richman |
| title_full_unstemmed | Varieties of constructive mathematics Douglas Bridges, Fred Richman |
| title_short | Varieties of constructive mathematics |
| title_sort | varieties of constructive mathematics |
| topic | Mathématiques constructives Sistemas lógicos não clássicos larpcal Matemática construtiva larpcal Konstruktive Mathematik swd Mathematische Logik swd Mathématiques constructives ram Logique symbolique et mathématique ram MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Constructive mathematics fast Constructive mathematics Mathematische Logik (DE-588)4037951-6 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd |
| topic_facet | Mathématiques constructives Sistemas lógicos não clássicos Matemática construtiva Konstruktive Mathematik Mathematische Logik Logique symbolique et mathématique MATHEMATICS / Infinity MATHEMATICS / Logic Constructive mathematics |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=552387 |
| work_keys_str_mv | AT bridgesdsdouglass varietiesofconstructivemathematics AT richmanfred varietiesofconstructivemathematics |