-
1
المؤلفون: Heinz-Dieter Ebbinghaus
المصدر: Einführung in die Mengenlehre ISBN: 9783662638651
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6e152ef63477cd8ba2abf94cb9769b6a
https://doi.org/10.1007/978-3-662-63866-8_9 -
2
المؤلفون: Jörg Flum, Heinz-Dieter Ebbinghaus, Wolfgang Thomas
المصدر: Mathematical Logic ISBN: 9783030738389
Mathematical Logic ISBN: 9781475723571مصطلحات موضوعية: Syntax (programming languages), Computer science, Abstract syntax, Comparison of multi-paradigm programming languages, Ergative case, Abstract family of languages, Second-generation programming language, Ontology language, Linguistic universal, Linguistics
-
3
المؤلفون: Heinz-Dieter Ebbinghaus
المصدر: Einführung in die Mengenlehre ISBN: 9783662638651
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::55f934c8164f42503d02fa3e2ae04091
https://doi.org/10.1007/978-3-662-63866-8_3 -
4
المؤلفون: Heinz-Dieter Ebbinghaus
المصدر: Einführung in die Mengenlehre ISBN: 9783662638651
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2a37141dbd56aaa3ddaed6242b93a161
https://doi.org/10.1007/978-3-662-63866-8_7 -
5
-
6
المؤلفون: Heinz-Dieter Ebbinghaus
المصدر: Einführung in die Mengenlehre ISBN: 9783662638651
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0a6da28fbcb7a20d0700b85e9a812fa5
https://doi.org/10.1007/978-3-662-63866-8_12 -
7
المؤلفون: Jörg Flum, Wolfgang Thomas, Heinz-Dieter Ebbinghaus
المصدر: Mathematical Logic ISBN: 9783030738389
مصطلحات موضوعية: Successor cardinal, Exact model, Finite-state machine, Computability, Gödel's incompleteness theorems, Decidability, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Gödel, Presburger arithmetic, computer, Computer Science::Formal Languages and Automata Theory, computer.programming_language, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e63ffc2463d3ee31efcdb47dbaef8994
https://doi.org/10.1007/978-3-030-73839-6_10 -
8
المؤلفون: Heinz-Dieter Ebbinghaus
المصدر: Einführung in die Mengenlehre ISBN: 9783662638651
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4056afa9c00183deeab50cb329fcb208
https://doi.org/10.1007/978-3-662-63866-8_13 -
9
المؤلفون: Wolfgang Thomas, Heinz-Dieter Ebbinghaus, Jörg Flum
المصدر: Mathematical Logic ISBN: 9783030738389
Mathematical Logic ISBN: 9781475723571مصطلحات موضوعية: Discrete mathematics, Set (abstract data type), Computable function, Section (typography), Compactness theorem, Expressive power, Mathematics
-
10
المؤلفون: Heinz-Dieter Ebbinghaus
المصدر: Einführung in die Mengenlehre ISBN: 9783662638651
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2a8330b16513ed09a4bcd6fccfa38b2f
https://doi.org/10.1007/978-3-662-63866-8_8