Finite and Infinite Combinatorics in Sets and Logic:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Dordrecht
Springer Netherlands
1993
|
Schriftenreihe: | NATO ASI Series, Series C: Mathematical and Physical Sciences
411 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Banff Centre, Alberta, Canada from April 21 to May 4, 1991. As the title suggests the meeting brought together workers interested in the interplay between finite and infinite combinatorics, set theory, graph theory and logic. It used to be that infinite set theory, finite combinatorics and logic could be viewed as quite separate and independent subjects. But more and more those disciplines grow together and become interdependent of each other with ever more problems and results appearing which concern all of those disciplines. I appreciate the financial support which was provided by the N. A. T. O. Advanced Study Institute programme, the Natural Sciences and Engineering Research Council of Canada and the Department of Mathematics and Statistics of the University of Calgary. 11l'te meeting on Finite and Infinite Combinatorics in Sets and Logic followed two other meetings on discrete mathematics held in Banff, the Symposium on Ordered Sets in 1981 and the Symposium on Graphs and Order in 1984. The growing inter-relation between the different areas in discrete mathematics is maybe best illustrated by the fact that many of the participants who were present at the previous meetings also attended this meeting on Finite and Infinite Combinatorics in Sets and Logic |
Beschreibung: | 1 Online-Ressource (XVII, 453 p) |
ISBN: | 9789401120807 9789401049238 |
ISSN: | 1389-2185 |
DOI: | 10.1007/978-94-011-2080-7 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042415851 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 150316s1993 |||| o||u| ||||||eng d | ||
020 | |a 9789401120807 |c Online |9 978-94-011-2080-7 | ||
020 | |a 9789401049238 |c Print |9 978-94-010-4923-8 | ||
024 | 7 | |a 10.1007/978-94-011-2080-7 |2 doi | |
035 | |a (OCoLC)905378835 | ||
035 | |a (DE-599)BVBBV042415851 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-91 |a DE-83 | ||
082 | 0 | |a 511.6 |2 23 | |
084 | |a PHY 000 |2 stub | ||
100 | 1 | |a Sauer, N. W. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Finite and Infinite Combinatorics in Sets and Logic |c edited by N. W. Sauer, R. E. Woodrow, B. Sands |
246 | 1 | 3 | |a Proceedings of the NATO Advanced Study Institute, Banff, Alberta, Canada, April 21-May 4, 1991 |
264 | 1 | |a Dordrecht |b Springer Netherlands |c 1993 | |
300 | |a 1 Online-Ressource (XVII, 453 p) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a NATO ASI Series, Series C: Mathematical and Physical Sciences |v 411 |x 1389-2185 | |
500 | |a This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Banff Centre, Alberta, Canada from April 21 to May 4, 1991. As the title suggests the meeting brought together workers interested in the interplay between finite and infinite combinatorics, set theory, graph theory and logic. It used to be that infinite set theory, finite combinatorics and logic could be viewed as quite separate and independent subjects. But more and more those disciplines grow together and become interdependent of each other with ever more problems and results appearing which concern all of those disciplines. I appreciate the financial support which was provided by the N. A. T. O. Advanced Study Institute programme, the Natural Sciences and Engineering Research Council of Canada and the Department of Mathematics and Statistics of the University of Calgary. 11l'te meeting on Finite and Infinite Combinatorics in Sets and Logic followed two other meetings on discrete mathematics held in Banff, the Symposium on Ordered Sets in 1981 and the Symposium on Graphs and Order in 1984. The growing inter-relation between the different areas in discrete mathematics is maybe best illustrated by the fact that many of the participants who were present at the previous meetings also attended this meeting on Finite and Infinite Combinatorics in Sets and Logic | ||
650 | 4 | |a Mathematics | |
650 | 4 | |a Computational complexity | |
650 | 4 | |a Combinatorics | |
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 4 | |a Discrete Mathematics in Computer Science | |
650 | 4 | |a Mathematical Logic and Foundations | |
650 | 4 | |a Mathematik | |
650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kombinatorik |0 (DE-588)4031824-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Gruppentheorie |0 (DE-588)4072157-7 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Banff Alberta |2 gnd-content | |
689 | 0 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
689 | 0 | 1 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
689 | 1 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 1 | |8 3\p |5 DE-604 | |
689 | 2 | 0 | |a Kombinatorik |0 (DE-588)4031824-2 |D s |
689 | 2 | 1 | |a Gruppentheorie |0 (DE-588)4072157-7 |D s |
689 | 2 | |8 4\p |5 DE-604 | |
700 | 1 | |a Woodrow, R. E. |e Sonstige |4 oth | |
700 | 1 | |a Sands, B. |e Sonstige |4 oth | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-94-011-2080-7 |x Verlag |3 Volltext |
912 | |a ZDB-2-PHA |a ZDB-2-BAE | ||
940 | 1 | |q ZDB-2-PHA_Archive | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027851344 | ||
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 | |
883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804153083504099328 |
---|---|
any_adam_object | |
author | Sauer, N. W. |
author_facet | Sauer, N. W. |
author_role | aut |
author_sort | Sauer, N. W. |
author_variant | n w s nw nws |
building | Verbundindex |
bvnumber | BV042415851 |
classification_tum | PHY 000 |
collection | ZDB-2-PHA ZDB-2-BAE |
ctrlnum | (OCoLC)905378835 (DE-599)BVBBV042415851 |
dewey-full | 511.6 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.6 |
dewey-search | 511.6 |
dewey-sort | 3511.6 |
dewey-tens | 510 - Mathematics |
discipline | Physik Mathematik |
doi_str_mv | 10.1007/978-94-011-2080-7 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04197nmm a2200697zcb4500</leader><controlfield tag="001">BV042415851</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150316s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401120807</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-011-2080-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401049238</subfield><subfield code="c">Print</subfield><subfield code="9">978-94-010-4923-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-011-2080-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905378835</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042415851</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-91</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHY 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sauer, N. W.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Finite and Infinite Combinatorics in Sets and Logic</subfield><subfield code="c">edited by N. W. Sauer, R. E. Woodrow, B. Sands</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the NATO Advanced Study Institute, Banff, Alberta, Canada, April 21-May 4, 1991</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVII, 453 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">NATO ASI Series, Series C: Mathematical and Physical Sciences</subfield><subfield code="v">411</subfield><subfield code="x">1389-2185</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Banff Centre, Alberta, Canada from April 21 to May 4, 1991. As the title suggests the meeting brought together workers interested in the interplay between finite and infinite combinatorics, set theory, graph theory and logic. It used to be that infinite set theory, finite combinatorics and logic could be viewed as quite separate and independent subjects. But more and more those disciplines grow together and become interdependent of each other with ever more problems and results appearing which concern all of those disciplines. I appreciate the financial support which was provided by the N. A. T. O. Advanced Study Institute programme, the Natural Sciences and Engineering Research Council of Canada and the Department of Mathematics and Statistics of the University of Calgary. 11l'te meeting on Finite and Infinite Combinatorics in Sets and Logic followed two other meetings on discrete mathematics held in Banff, the Symposium on Ordered Sets in 1981 and the Symposium on Graphs and Order in 1984. The growing inter-relation between the different areas in discrete mathematics is maybe best illustrated by the fact that many of the participants who were present at the previous meetings also attended this meeting on Finite and Infinite Combinatorics in Sets and Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Combinatorics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Banff Alberta</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kombinatorik</subfield><subfield code="0">(DE-588)4031824-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Gruppentheorie</subfield><subfield code="0">(DE-588)4072157-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Woodrow, R. E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sands, B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-011-2080-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-PHA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-PHA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027851344</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="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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></record></collection> |
genre | 1\p (DE-588)1071861417 Konferenzschrift 1991 Banff Alberta gnd-content |
genre_facet | Konferenzschrift 1991 Banff Alberta |
id | DE-604.BV042415851 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:20:58Z |
institution | BVB |
isbn | 9789401120807 9789401049238 |
issn | 1389-2185 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027851344 |
oclc_num | 905378835 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-83 |
owner_facet | DE-91 DE-BY-TUM DE-83 |
physical | 1 Online-Ressource (XVII, 453 p) |
psigel | ZDB-2-PHA ZDB-2-BAE ZDB-2-PHA_Archive |
publishDate | 1993 |
publishDateSearch | 1993 |
publishDateSort | 1993 |
publisher | Springer Netherlands |
record_format | marc |
series2 | NATO ASI Series, Series C: Mathematical and Physical Sciences |
spelling | Sauer, N. W. Verfasser aut Finite and Infinite Combinatorics in Sets and Logic edited by N. W. Sauer, R. E. Woodrow, B. Sands Proceedings of the NATO Advanced Study Institute, Banff, Alberta, Canada, April 21-May 4, 1991 Dordrecht Springer Netherlands 1993 1 Online-Ressource (XVII, 453 p) txt rdacontent c rdamedia cr rdacarrier NATO ASI Series, Series C: Mathematical and Physical Sciences 411 1389-2185 This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Banff Centre, Alberta, Canada from April 21 to May 4, 1991. As the title suggests the meeting brought together workers interested in the interplay between finite and infinite combinatorics, set theory, graph theory and logic. It used to be that infinite set theory, finite combinatorics and logic could be viewed as quite separate and independent subjects. But more and more those disciplines grow together and become interdependent of each other with ever more problems and results appearing which concern all of those disciplines. I appreciate the financial support which was provided by the N. A. T. O. Advanced Study Institute programme, the Natural Sciences and Engineering Research Council of Canada and the Department of Mathematics and Statistics of the University of Calgary. 11l'te meeting on Finite and Infinite Combinatorics in Sets and Logic followed two other meetings on discrete mathematics held in Banff, the Symposium on Ordered Sets in 1981 and the Symposium on Graphs and Order in 1984. The growing inter-relation between the different areas in discrete mathematics is maybe best illustrated by the fact that many of the participants who were present at the previous meetings also attended this meeting on Finite and Infinite Combinatorics in Sets and Logic Mathematics Computational complexity Combinatorics Logic, Symbolic and mathematical Discrete Mathematics in Computer Science Mathematical Logic and Foundations Mathematik Mengenlehre (DE-588)4074715-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Kombinatorik (DE-588)4031824-2 gnd rswk-swf Gruppentheorie (DE-588)4072157-7 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1991 Banff Alberta gnd-content Kombinatorik (DE-588)4031824-2 s Mengenlehre (DE-588)4074715-3 s 2\p DE-604 Logik (DE-588)4036202-4 s 3\p DE-604 Gruppentheorie (DE-588)4072157-7 s 4\p DE-604 Woodrow, R. E. Sonstige oth Sands, B. Sonstige oth https://doi.org/10.1007/978-94-011-2080-7 Verlag 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Sauer, N. W. Finite and Infinite Combinatorics in Sets and Logic Mathematics Computational complexity Combinatorics Logic, Symbolic and mathematical Discrete Mathematics in Computer Science Mathematical Logic and Foundations Mathematik Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd Kombinatorik (DE-588)4031824-2 gnd Gruppentheorie (DE-588)4072157-7 gnd |
subject_GND | (DE-588)4074715-3 (DE-588)4036202-4 (DE-588)4031824-2 (DE-588)4072157-7 (DE-588)1071861417 |
title | Finite and Infinite Combinatorics in Sets and Logic |
title_alt | Proceedings of the NATO Advanced Study Institute, Banff, Alberta, Canada, April 21-May 4, 1991 |
title_auth | Finite and Infinite Combinatorics in Sets and Logic |
title_exact_search | Finite and Infinite Combinatorics in Sets and Logic |
title_full | Finite and Infinite Combinatorics in Sets and Logic edited by N. W. Sauer, R. E. Woodrow, B. Sands |
title_fullStr | Finite and Infinite Combinatorics in Sets and Logic edited by N. W. Sauer, R. E. Woodrow, B. Sands |
title_full_unstemmed | Finite and Infinite Combinatorics in Sets and Logic edited by N. W. Sauer, R. E. Woodrow, B. Sands |
title_short | Finite and Infinite Combinatorics in Sets and Logic |
title_sort | finite and infinite combinatorics in sets and logic |
topic | Mathematics Computational complexity Combinatorics Logic, Symbolic and mathematical Discrete Mathematics in Computer Science Mathematical Logic and Foundations Mathematik Mengenlehre (DE-588)4074715-3 gnd Logik (DE-588)4036202-4 gnd Kombinatorik (DE-588)4031824-2 gnd Gruppentheorie (DE-588)4072157-7 gnd |
topic_facet | Mathematics Computational complexity Combinatorics Logic, Symbolic and mathematical Discrete Mathematics in Computer Science Mathematical Logic and Foundations Mathematik Mengenlehre Logik Kombinatorik Gruppentheorie Konferenzschrift 1991 Banff Alberta |
url | https://doi.org/10.1007/978-94-011-2080-7 |
work_keys_str_mv | AT sauernw finiteandinfinitecombinatoricsinsetsandlogic AT woodrowre finiteandinfinitecombinatoricsinsetsandlogic AT sandsb finiteandinfinitecombinatoricsinsetsandlogic AT sauernw proceedingsofthenatoadvancedstudyinstitutebanffalbertacanadaapril21may41991 AT woodrowre proceedingsofthenatoadvancedstudyinstitutebanffalbertacanadaapril21may41991 AT sandsb proceedingsofthenatoadvancedstudyinstitutebanffalbertacanadaapril21may41991 |