Explore: Mengenlehre

“Notes on set theory” Metadata:

• Title: Notes on set theory
• Author: Yiannis N. Moschovakis
• Language: English
• Number of Pages: Median: 281
• Publisher: ➤  Springer-Verlag - Springer New York - Springer
• Publish Date: 1994 - 2005 - 2006
• Publish Location: New York

“Notes on set theory” Subjects and Themes:

• Subjects: ➤  Set theory - Symbolic and mathematical Logic - Computer science - Textbooks - Ensembles, Théorie des - Mengenlehre - Mathematics

Edition Identifiers:

• The Open Library ID: OL26771121M - OL7445100M - OL7445101M - OL1424874M
• Online Computer Library Center (OCLC) ID: 28926242 - 63172417
• Library of Congress Control Number (LCCN): 93035825 - 2005932090
• All ISBNs: ➤  9780387941806 - 038728723X - 0387316094 - 0387941800 - 9780387287232 - 9780387316093 - 0387287221 - 9783540941804 - 9780387287225 - 3540941800

“Naming infinity” Metadata:

• Title: Naming infinity
• Authors: Loren R. GrahamLoren GrahamJean-Michel Kantor
• Languages: fre - English
• Number of Pages: Median: 248
• Publisher: ➤  Belin - Pour la science - Belknap Press of Harvard University Press - Harvard University Press - Izd-vo Evropeiskogo Universiteta v Sankt-Peterburge
• Publish Date: 2009 - 2010 - 2011
• Publish Location: ➤  Cambridge, Mass - Sankt-Peterburg - Paris

“Naming infinity” Subjects and Themes:

• Subjects: ➤  Mathematics - Mysticism - Philosophy - Religious aspects - Religious aspects of Mathematics - Set theory - Rationalität - Mystizismus - MATHEMATICS - History & Philosophy - Mengenlehre - Education, russia (federation) - Mysticism, soviet union - Mathematics, philosophy - Philosophy, french
• Places: France - Russia (Federation)

Edition Identifiers:

• The Open Library ID: OL45311982M - OL32107536M - OL29593676M - OL22543397M
• Online Computer Library Center (OCLC) ID: 693666898 - 255142906 - 778845611
• Library of Congress Control Number (LCCN): 2008041334
• All ISBNs: ➤  5943801146 - 9780674053915 - 0674032934 - 2842451074 - 9785943801143 - 9780674032934 - 0674053915 - 9782842451073

“Sets” Metadata:

• Title: Sets
• Author: William W. Fairchild
• Language: English
• Number of Pages: Median: 121
• Publisher: Saunders
• Publish Date: 1970
• Publish Location: London - Philadelphia

“Sets” Subjects and Themes:

• Subjects: Set theory - Ensembles, Théorie des - Einführung - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL20328495M
• All ISBNs: 0721635407 - 9780721635408

“Sets” Metadata:

• Title: Sets
• Author: D. van Dalen
• Language: English
• Number of Pages: Median: 342
• Publisher: Pergamon Press
• Publish Date: 1978
• Publish Location: New York - Oxford

“Sets” Subjects and Themes:

• Subjects: ➤  Set theory - Axiomatic set theory - Set theory. 0 - Théorie des ensembles - Théorie axiomatique des ensembles - Mengenlehre - Verzamelingen (wiskunde)

Edition Identifiers:

• The Open Library ID: OL4900060M
• Online Computer Library Center (OCLC) ID: 2463590
• Library of Congress Control Number (LCCN): 76043992
• All ISBNs: 0080211666 - 9780080211664

“Set theory and its logic” Metadata:

• Title: Set theory and its logic
• Author: Willard Van Orman Quine
• Language: English
• Number of Pages: Median: 361
• Publisher: ➤  Belknap Press of Harvard University Press - Belknap Press - Belknap - Harvard University Press - Harvard Univ Press
• Publish Date: 1963 - 1969 - 2004 - 2009
• Publish Location: Cambridge - Cambridge, MA

“Set theory and its logic” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Logic, Symbolic and mathematical - Set theory - Symbolic and mathematical Logic - Mathematics - Mengenlehre

Edition Identifiers:

• The Open Library ID: ➤  OL7693504M - OL29579517M - OL23826216M - OL21208929M - OL21375033M - OL7693505M - OL21523169M - OL5606989M - OL5885074M - OL21166326M
• Online Computer Library Center (OCLC) ID: 525758 - 271738
• Library of Congress Control Number (LCCN): 68014271 - 63017209
• All ISBNs: ➤  9780674802063 - 0674042425 - 0674802063 - 9780674802070 - 0674802071 - 9780674042421

“The theory of ultrafilters” Metadata:

• Title: The theory of ultrafilters
• Authors: W. W. ComfortS. Negrepontis
• Language: English
• Number of Pages: Median: 484
• Publisher: ➤  Springer-Verlag - Springer Berlin / Heidelberg - Springer London, Limited - Springer
• Publish Date: 1974 - 2011 - 2012
• Publish Location: New York - Berlin

“The theory of ultrafilters” Subjects and Themes:

• Subjects: ➤  Ultrafilters (Mathematics) - Mengenlehre - Filtres (mathématiques) - Ensembles, Théorie des - Filter - Logica - Modèles, Théorie des - Logica Matematica - Mathematics - Mathematics, general

Edition Identifiers:

• The Open Library ID: ➤  OL37153491M - OL37248391M - OL28156256M - OL5043859M - OL26737268M - OL10151643M
• Online Computer Library Center (OCLC) ID: 1205452
• Library of Congress Control Number (LCCN): 74003673
• All ISBNs: ➤  3642657818 - 9783642657801 - 9780387066042 - 9783642657825 - 3540066047 - 0387066047 - 9783642657818 - 3642657826 - 3387066047 - 364265780X - 9783540066040

“Introduction to Mathematical Structures and Proofs” Metadata:

• Title: ➤  Introduction to Mathematical Structures and Proofs
• Author: Larry J. Gerstein
• Language: English
• Number of Pages: Median: 364
• Publisher: Springer - Springer New York
• Publish Date: 2012 - 2013 - 2016
• Publish Location: New York, NY

“Introduction to Mathematical Structures and Proofs” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Mathematics - Global analysis (Mathematics) - Combinatorial analysis - Mathematical Logic and Foundations - Analysis - Number theory - Logic, symbolic and mathematical - Mathematische Logik - Mengenlehre - Kombinatorik - Zahlentheorie - Komplexe Zahl - Science (General) - Science, general

Edition Identifiers:

• The Open Library ID: ➤  OL37432222M - OL35781912M - OL30624234M - OL29666432M - OL28132194M - OL27046930M
• Online Computer Library Center (OCLC) ID: 805881214
• Library of Congress Control Number (LCCN): 2012940655
• All ISBNs: ➤  9783642592805 - 3642592805 - 9783642592799 - 1461442648 - 9781493951468 - 1493951467 - 9781468467109 - 9781461442646 - 9781461442653 - 1468467107 - 1461442656 - 3642592791

“Defending the axioms” Metadata:

• Title: Defending the axioms
• Author: Penelope Maddy
• Language: English
• Number of Pages: Median: 156
• Publisher: Oxford University Press
• Publish Date: 2011 - 2013
• Publish Location: New York - Oxford

“Defending the axioms” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Axiomatische methode - Mengenlehre - Philosophy - Axiomatische Methode - Philosophie - Axioma's

Edition Identifiers:

• The Open Library ID: OL28494274M - OL36304169M - OL25151933M
• Online Computer Library Center (OCLC) ID: 656767770
• Library of Congress Control Number (LCCN): 2011293552
• All ISBNs: ➤  0199671486 - 9780191616532 - 9780199596188 - 0199596182 - 9780199671489 - 0191616532

“Approximate Reasoning by Parts” Metadata:

• Title: Approximate Reasoning by Parts
• Author: Lech Polkowski
• Language: English
• Number of Pages: Median: 362
• Publisher: ➤  Springer - Springer Berlin / Heidelberg - Springer Berlin Heidelberg
• Publish Date: 2011 - 2012 - 2013
• Publish Location: Berlin, Heidelberg

“Approximate Reasoning by Parts” Subjects and Themes:

• Subjects: ➤  Engineering - Artificial intelligence - Rough sets - Mengenlehre - Fuzzy-Menge - Grobmenge - Approximatives Schliessen - Fuzzy sets

Edition Identifiers:

• The Open Library ID: OL37166311M - OL28047006M - OL25547578M
• Online Computer Library Center (OCLC) ID: 733249509
• Library of Congress Control Number (LCCN): 2011931790
• All ISBNs: ➤  9783642222801 - 9783642269851 - 3642222803 - 3642269850 - 9783642222795 - 364222279X - 9783642222788 - 3642222781

“Mathematische Grundlagen der Informatik” Metadata:

• Title: ➤  Mathematische Grundlagen der Informatik
• Authors: Christoph MeinelMartin Mundhenk
• Language: ger
• Publisher: ➤  Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH - Vieweg+Teubner Verlag
• Publish Date: 2002 - 2009 - 2011
• Publish Location: Wiesbaden

“Mathematische Grundlagen der Informatik” Subjects and Themes:

• Subjects: Beweis - Mathematische Logik - Mengenlehre - Graphentheorie - Boolesche Algebra

Edition Identifiers:

• The Open Library ID: OL50606500M - OL50605792M - OL27073580M
• Online Computer Library Center (OCLC) ID: 864027729
• All ISBNs: ➤  3835190369 - 3322918890 - 3834893102 - 9783835190368 - 9783322918895 - 9783834893109

“Classic Set Theory” Metadata:

• Title: Classic Set Theory
• Author: D.C. Goldrei
• Language: English
• Number of Pages: Median: 288
• Publisher: Chapman & Hall/CRC
• Publish Date: 1996

“Classic Set Theory” Subjects and Themes:

• Subjects: ➤  Set theory - Problems, exercises - Problemes et exercices - Theorie des Ensembles - Mengenlehre - Théorie des ensembles - Problèmes et exercices

Edition Identifiers:

• The Open Library ID: OL7478974M
• Online Computer Library Center (OCLC) ID: 1004350649
• Library of Congress Control Number (LCCN): 96085139
• All ISBNs: 9780412606106 - 0412606100

“Set theory for computing” Metadata:

• Title: Set theory for computing
• Authors: Domenico CantoneEugenio OmodeoAlberto Policriti
• Language: English
• Number of Pages: Median: 409
• Publisher: Springer - Springer New York
• Publish Date: 2001 - 2011 - 2013

“Set theory for computing” Subjects and Themes:

• Subjects: Set theory - Computable functions - Mengenlehre - Deklarative Programmierung - Berechenbare Funktion

Edition Identifiers:

• The Open Library ID: OL37423806M - OL34452685M - OL7448781M
• Online Computer Library Center (OCLC) ID: 46240279
• Library of Congress Control Number (LCCN): 2001020446
• All ISBNs: ➤  9780387951973 - 9781441929051 - 0387951970 - 1441929053 - 9781475734522 - 1475734522

“An introduction to analysis” Metadata:

• Title: An introduction to analysis
• Author: Wilson M. Zaring
• Language: English
• Number of Pages: Median: 364
• Publisher: Macmillan
• Publish Date: 1967
• Publish Location: New York

“An introduction to analysis” Subjects and Themes:

• Subjects: ➤  Calculus - Set theory - Symbolic and mathematical Logic - Logique symbolique et mathématique - Ensembles, Théorie des - Reelle Funktion - Calcul - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL5540724M - OL21526177M
• Library of Congress Control Number (LCCN): 67018457

“Grundbegriffe der Mathematik” Metadata:

• Title: Grundbegriffe der Mathematik
• Author: Günter Asser
• Language: ger
• Number of Pages: Median: 192
• Publisher: ➤  Deutscher Verlag der Wissenschaften
• Publish Date: 1975
• Publish Location: Berlin

“Grundbegriffe der Mathematik” Subjects and Themes:

• Subjects: Mathematik - Mengenlehre - Abbildung (Mathematik) - Ganzrationale Zahl

Edition Identifiers:

• The Open Library ID: OL37836550M - OL37836551M
• Online Computer Library Center (OCLC) ID: 717787059 - 552418464

“Introduction to set theory” Metadata:

• Title: Introduction to set theory
• Author: J. Donald Monk
• Language: English
• Number of Pages: Median: 193
• Publisher: ➤  R. E. Krieger Pub. Co. - McGraw-Hill
• Publish Date: 1969 - 1980
• Publish Location: New York - Huntington, N.Y

“Introduction to set theory” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Ensembles, Théorie axiomatique des - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL5612162M - OL4417254M
• Online Computer Library Center (OCLC) ID: 1102
• Library of Congress Control Number (LCCN): 68020056 - 79021279
• All ISBNs: 0898740061 - 9780898740066

“Games, logic, and constructive sets” Metadata:

• Title: ➤  Games, logic, and constructive sets
• Authors: G. E. Mint͡sReinhard Muskens
• Language: English
• Number of Pages: Median: 136
• Publisher: ➤  CSLI Publications - Center for the Study of Language and Inf
• Publish Date: 2003
• Publish Location: Stanford, CA

“Games, logic, and constructive sets” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Constructibility (Set theory) - Game theory - Logic, symbolic and mathematical - Set theory - Game Theory - Logique symbolique et mathématique - Théorie des jeux - Constructibilité (Théorie des ensembles) - Mathematische Logik - Mengenlehre - Spieltheorie

Edition Identifiers:

• The Open Library ID: OL22553229M - OL8746481M
• Online Computer Library Center (OCLC) ID: 52773593
• Library of Congress Control Number (LCCN): 2003015819
• All ISBNs: 9781575864501 - 1575864509

“Grundbegriffe der Mengenlehre und Logik” Metadata:

• Title: ➤  Grundbegriffe der Mengenlehre und Logik
• Author: Maria Hasse
• Language: ger
• Number of Pages: Median: 87
• Publisher: ➤  BSB Teubner - Vieweg+Teubner Verlag
• Publish Date: 1974 - 2012
• Publish Location: Leipzig

“Grundbegriffe der Mengenlehre und Logik” Subjects and Themes:

• Subjects: Mathematische Logik - Moderne Logik - Aussagenlogik - Formale Logik - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL34650184M - OL27957859M
• Online Computer Library Center (OCLC) ID: 250742489
• All ISBNs: 3322003809 - 9783322003805

“Infinitary combinatorics and the axiom of determinateness” Metadata:

• Title: ➤  Infinitary combinatorics and the axiom of determinateness
• Author: Eugene M. Kleinberg
• Language: English
• Number of Pages: Median: 150
• Publisher: Springer-Verlag
• Publish Date: 1977
• Publish Location: New York - Berlin

“Infinitary combinatorics and the axiom of determinateness” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Cardinal numbers - Combinatorial analysis - Combinatorial set theory - Determinants - Partitions (Mathematics) - Ensembles, Théorie axiomatique des - Ensembles, Théorie combinatoire des - Ensembles, Théorie des - Infinitäre Kombinatorik - Mengenlehre - Mathematics

Edition Identifiers:

• The Open Library ID: OL13574395M - OL4205764M
• Online Computer Library Center (OCLC) ID: 3387897
• Library of Congress Control Number (LCCN): 80485030
• All ISBNs: 9780387084404 - 3540084401 - 0387084401 - 9783540084402

“An outline of set theory” Metadata:

• Title: An outline of set theory
• Author: James M. Henle
• Number of Pages: Median: 155
• Publisher: Springer - Springer Verlag
• Publish Date: 1986 - 2011

“An outline of set theory” Subjects and Themes:

• Subjects: ➤  Set theory - Logique symbolique et mathématique - Symbolic and mathematical Logic - Ensembles, Théorie des - Mengenlehre - Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL28014825M - OL12811205M
• Library of Congress Control Number (LCCN): 86013943
• All ISBNs: 1461386810 - 9783540963684 - 9781461386810 - 3540963685

“Algebra, Logic, Set Theory (Studies in Logic)” Metadata:

• Title: ➤  Algebra, Logic, Set Theory (Studies in Logic)
• Author: B, Loewe
• Language: English
• Number of Pages: Median: 324
• Publisher: College Publications
• Publish Date: 2007

“Algebra, Logic, Set Theory (Studies in Logic)” Subjects and Themes:

• Subjects: ➤  Algebraic logic - Set theory - Algebraïsche logica - Logica - Algebra - Mathematische Logik - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL8774590M
• Online Computer Library Center (OCLC) ID: 85689456
• All ISBNs: 1904987281 - 9781904987284

“Models of ZF-set theory” Metadata:

• Title: Models of ZF-set theory
• Author: Ulrich Felgner
• Language: English
• Number of Pages: Median: 173
• Publisher: Springer-Verlag
• Publish Date: 1971
• Publish Location: New York - Berlin

“Models of ZF-set theory” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Verzamelingen (wiskunde) - Ensembles, Théorie axiomatique des - Modeltheorie - Zermelo-Fraenkel-Axiome - Mengenlehre - Théorie axiomatique des ensembles - Set theory - Mathematics

Edition Identifiers:

• The Open Library ID: OL5470673M
• Online Computer Library Center (OCLC) ID: 201954
• Library of Congress Control Number (LCCN): 73173745
• All ISBNs: 3540055916 - 9783540055914

“Proceedings of the symposium Around Set Theory” Metadata:

• Title: ➤  Proceedings of the symposium Around Set Theory
• Author: ➤  France) Around Set Theory (2003 Paris
• Language: English
• Number of Pages: Median: 267
• Publisher: ➤  IRCAM-centre Pompidou - Delatour
• Publish Date: 2008
• Publish Location: Sampzon - Paris

“Proceedings of the symposium Around Set Theory” Subjects and Themes:

• Subjects: ➤  Mathematik - Musikalische Analyse - Mengenlehre - Music - Congresses - Mathematics - Music theory - Komposition (Musik)

Edition Identifiers:

• The Open Library ID: OL45177654M
• Online Computer Library Center (OCLC) ID: 420938820
• All ISBNs: 2752100523 - 2844264018 - 9782844264015 - 9782752100528

“Set theory and linguistics” Metadata:

• Title: Set theory and linguistics
• Author: Alejandro Ortiz Rescaniere
• Language: English
• Number of Pages: Median: 64
• Publisher: Mouton
• Publish Date: 1968
• Publish Location: The Hague - Paris

“Set theory and linguistics” Subjects and Themes:

• Subjects: ➤  Set theory - Mathematical linguistics - Linguistik - Mengenlehre - Linguistique - Ensembles, Théorie des

Edition Identifiers:

• The Open Library ID: OL5610294M
• Online Computer Library Center (OCLC) ID: 307055
• Library of Congress Control Number (LCCN): 68017900

“Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)” Metadata:

• Title: ➤  Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)
• Author: J. Barkley Rosser
• Number of Pages: Median: 232
• Publisher: Academic Press Inc
• Publish Date: 1969

“Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)” Subjects and Themes:

• Subjects: ➤  Logique symbolique et mathématique - Boolean Algebra - Beweis - Set theory - Continuum (Mathematics) - Continuum hypothesis - Independence (Mathematics) - Boole, Algèbre de - Ensembles, Théorie des - Boolesche Algebra - Mengenlehre - Mathematik - Algebra, boolean

Edition Identifiers:

• The Open Library ID: OL26708842M
• All ISBNs: 9780125980500 - 0125980507

“Surveys in set theory” Metadata:

• Title: Surveys in set theory
• Language: English
• Number of Pages: Median: 247
• Publisher: Cambridge University Press
• Publish Date: 1983
• Publish Location: ➤  Cambridge [Cambridgeshire] - New York

“Surveys in set theory” Subjects and Themes:

• Subjects: Set theory - MATHEMATICS / Set Theory - Ensembles, Théorie des - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL3168049M
• Online Computer Library Center (OCLC) ID: 9621681
• Library of Congress Control Number (LCCN): 83010106
• All ISBNs: 0521277337 - 9780521277334

“Theory of sets” Metadata:

• Title: Theory of sets
• Author: Erich Kamke
• Language: English
• Number of Pages: Median: 144
• Publisher: Dover Publications
• Publish Date: 1950

“Theory of sets” Subjects and Themes:

• Subjects: Set theory - Theorie des Ensembles - Verzamelingen (wiskunde) - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL15055819M
• Online Computer Library Center (OCLC) ID: 527008
• Library of Congress Control Number (LCCN): 50007144
• All ISBNs: 9780486601410 - 0486601412

“Elements of logic and foundations of mathematics in problems” Metadata:

• Title: ➤  Elements of logic and foundations of mathematics in problems
• Author: Wiktor Marek
• Language: English
• Number of Pages: Median: 276
• Publisher: ➤  PWN-Polish Scientific Publishers - D. Reidel - Distributors for the U.S.A. and Canada, Kluwer Boston
• Publish Date: 1982
• Publish Location: ➤  Dordrecht, Holland - Warszawa - Boston, U.S.A - Hingham, MA

“Elements of logic and foundations of mathematics in problems” Subjects and Themes:

• Subjects: ➤  Set theory - Symbolic and mathematical Logic - Logique symbolique et mathématique - Mengenlehre - Mathematische Logik - Ensembles, Théorie des - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL4271639M
• Library of Congress Control Number (LCCN): 81017836
• All ISBNs: 9789027710840 - 9027710848

“Defending the axioms” Metadata:

• Title: Defending the axioms
• Author: Penelope Maddy
• Language: English
• Number of Pages: Median: 150
• Publisher: Oxford University Press
• Publish Date: 2011
• Publish Location: Oxford - New York

“Defending the axioms” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Axiomatische methode - Mengenlehre - Philosophy - Axiomatische Methode - Philosophie - Axioma's

Edition Identifiers:

• The Open Library ID: OL25151934M
• Online Computer Library Center (OCLC) ID: 656767770
• Library of Congress Control Number (LCCN): 2011293552
• All ISBNs: 9780199596188 - 0199596182

“Einfu hrung in die Mengenlehre” Metadata:

• Title: Einfu hrung in die Mengenlehre
• Author: Oliver Deiser
• Language: ger
• Number of Pages: Median: 551
• Publisher: Springer
• Publish Date: 2010
• Publish Location: Heidelberg - Berlin

“Einfu hrung in die Mengenlehre” Subjects and Themes:

• Subjects: Mengenlehre - Menge - Lehrbuch - 0 Gesamtdarstellung

Edition Identifiers:

• The Open Library ID: OL25554968M
• Online Computer Library Center (OCLC) ID: 466116774
• All ISBNs: 9783642014444 - 9783642014451 - 3642014453 - 3642014445

“Mengenlehre Fr Den Mathematiker” Metadata:

• Title: ➤  Mengenlehre Fr Den Mathematiker
• Author: Ulf Friedrichsdorf
• Publisher: Vieweg+Teubner Verlag
• Publish Date: 1985

“Mengenlehre Fr Den Mathematiker” Subjects and Themes:

• Subjects: 0 Gesamtdarstellung - Engineering - Menge - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL26188634M
• All ISBNs: 9783528072582 - 352807258X

“Mathematische Grundlagen der Ingenieurinformatik” Metadata:

• Title: ➤  Mathematische Grundlagen der Ingenieurinformatik
• Authors: Peter J. PahlRudolf Damrath
• Language: ger
• Publisher: Springer Berlin Heidelberg
• Publish Date: 2000
• Publish Location: Berlin, Heidelberg

“Mathematische Grundlagen der Ingenieurinformatik” Subjects and Themes:

• Subjects: Stochastik - Lineare Algebra - Graphentheorie - Struktur - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL27073581M
• Online Computer Library Center (OCLC) ID: 863737695
• All ISBNs: 3642570135 - 9783642570131

“Mathematisch-strukturelle Grundlagen der Informatik” Metadata:

• Title: ➤  Mathematisch-strukturelle Grundlagen der Informatik
• Authors: Hartmut EhrigBernd MahrF. CorneliusMartin Große-RhodeP. Zeitz
• Language: ger
• Publisher: Springer Berlin Heidelberg
• Publish Date: 2001
• Publish Location: Berlin, Heidelberg

“Mathematisch-strukturelle Grundlagen der Informatik” Subjects and Themes:

• Subjects: Mengenlehre - Kategorientheorie - Algebraische Spezifikation - Aussagenlogik - Prädikatenlogik

Edition Identifiers:

• The Open Library ID: OL27073612M
• Online Computer Library Center (OCLC) ID: 863735888
• All ISBNs: 3642567924 - 9783642567926

“Mathematisch-strukturelle Grundlagen der Informatik” Metadata:

• Title: ➤  Mathematisch-strukturelle Grundlagen der Informatik
• Authors: Hartmut EhrigBernd MahrFelix CorneliusMartin Große-Rhode
• Language: ger
• Publisher: Springer Berlin Heidelberg
• Publish Date: 1999
• Publish Location: Berlin, Heidelberg

“Mathematisch-strukturelle Grundlagen der Informatik” Subjects and Themes:

• Subjects: Mengenlehre - Kategorientheorie - Algebraische Spezifikation - Aussagenlogik - Prädikatenlogik

Edition Identifiers:

• The Open Library ID: OL27073613M
• Online Computer Library Center (OCLC) ID: 863898339
• All ISBNs: 9783642979866 - 3642979866

“Grundbegriffe der Mengenlehre und Logik” Metadata:

• Title: ➤  Grundbegriffe der Mengenlehre und Logik
• Author: Maria Hasse
• Language: ger
• Publisher: Vieweg+Teubner Verlag
• Publish Date: 1965
• Publish Location: Wiesbaden

“Grundbegriffe der Mengenlehre und Logik” Subjects and Themes:

• Subjects: Mengenlehre - Mathematische Logik - Aussagenlogik

Edition Identifiers:

• The Open Library ID: OL27042004M
• Online Computer Library Center (OCLC) ID: 863908291
• All ISBNs: 9783663059325 - 3663059324

“Grundlagen der Mathematik, Abbildungen, Funktionen, Folgen” Metadata:

• Title: ➤  Grundlagen der Mathematik, Abbildungen, Funktionen, Folgen
• Authors: Norbert SieberHans-Jürgen SebastianGünter Zeidler
• Language: ger
• Publisher: Vieweg+Teubner Verlag
• Publish Date: 1973
• Publish Location: Wiesbaden

“Grundlagen der Mathematik, Abbildungen, Funktionen, Folgen” Subjects and Themes:

• Subjects: Funktion - Mengenlehre - Mathematische Logik - Arithmetik

Edition Identifiers:

• The Open Library ID: OL27042163M
• Online Computer Library Center (OCLC) ID: 864023029
• All ISBNs: 3322964221 - 9783322964229

“Simplified independence proofs” Metadata:

• Title: Simplified independence proofs
• Author: Rosser, J. Barkley
• Language: English
• Number of Pages: Median: 217
• Publisher: Academic Press
• Publish Date: 1969
• Publish Location: New York

“Simplified independence proofs” Subjects and Themes:

• Subjects: ➤  Algebra, Boolean - Boolean Algebra - Independence (Mathematics) - Set theory - Beweis - The orie des Ensembles - Boolesche Algebra - Alge bre de Boole - Logique symbolique et mathe matique - Mathematik - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL5682079M
• Online Computer Library Center (OCLC) ID: 12013
• Library of Congress Control Number (LCCN): 69013479

“Zufälligkeit und Wahrscheinlichkeit” Metadata:

• Title: ➤  Zufälligkeit und Wahrscheinlichkeit
• Author: Claus Peter Schnorr
• Language: ger
• Number of Pages: Median: 212
• Publisher: Springer
• Publish Date: 1971
• Publish Location: New York - Berlin

“Zufälligkeit und Wahrscheinlichkeit” Subjects and Themes:

• Subjects: ➤  Algorithms - Constructive mathematics - Probabilities - Wahrscheinlichkeitstheorie - Mengenlehre - Mathematische Logik - Probabilités - Hasard - Wahrscheinlichkeitsrechnung - Zufällige Folge

Edition Identifiers:

• The Open Library ID: OL5099907M
• Online Computer Library Center (OCLC) ID: 184144
• Library of Congress Control Number (LCCN): 74171873
• All ISBNs: 3540055665 - 9783540055662

“Set theory and hierarchy theory 5, Bierutowice, Poland 1976” Metadata:

• Title: ➤  Set theory and hierarchy theory 5, Bierutowice, Poland 1976
• Author: ➤  Conference on Set Theory and Hierarchy Theory (3rd 1977 Bierutowice)
• Language: English
• Number of Pages: Median: 358
• Publisher: Springer-Verlag
• Publish Date: 1977
• Publish Location: New York - Berlin

“Set theory and hierarchy theory 5, Bierutowice, Poland 1976” Subjects and Themes:

• Subjects: ➤  Set theory - Model theory - Recursion theory - Hierarchies - Congresses - Hierarchietheorie - Ensembles, Théorie des - Congrès - Kongress - Mengenlehre - Modèles, Théorie des - Menge

Edition Identifiers:

• The Open Library ID: OL21338643M
• Online Computer Library Center (OCLC) ID: 3526217 - 3897315
• Library of Congress Control Number (LCCN): 78309663
• All ISBNs: 0387085211 - 9780387085210

“Introduction to axiomatic set theory” Metadata:

• Title: ➤  Introduction to axiomatic set theory
• Author: Gaisi Takeuti

“Introduction to axiomatic set theory” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Ensembles, Théorie axiomatique des - MODELE GOEDEL - Théorie ensemble - Ensembles, Théorie des - Mengenlehre - AXIOME CHOIX - THEORIE AXIOMATIQUE ENSEMBLE