Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Theorie"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"511 - General principles of mathematics"
product_txtF_mv:"Elsevier eBook collection Mathematics"
Showing
61
-
80
of
93
Search:
'"Theorie"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Categorical logic and type theory
by
Jacobs, Bart
Published 1999
Elsevier Science
Subjects:
“
...Type
theory
/ fast / (OCoLC)fst01159972...
”
Call Number:
QA9
Read Now
62
Large infinitary languages : model theory
by
Dickmann, M. A.
Published 1975
North-Holland Pub. Co.
Subjects:
“
...
Théorie
des modèles...
”
Call Number:
QA9.37
Read Now
63
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
by
Arruda, A. I.
Published 1977
North-Holland Pub. Co.
Subjects:
“
...Model
theory
/ fast / (OCoLC)fst01024368...
”
Call Number:
QA9.4
Read Now
64
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
by
Karpiński, Marek
Published 1985
North-Holland
Subjects:
“
...Machine
theory
/ Congresses...
”
Call Number:
QA267
Read Now
65
Convexity and graph theory : proceedings of the Conference on Convexity and Graph Theory, Israel, March 1981
Published 1984
North-Holland
Subjects:
“
...Graph
theory
...
”
Call Number:
QA166
Read Now
66
Ordinal algebras
by
Tarski, Alfred
Published 1956
North-Holland Pub. Co.
Subjects:
“
...Relations d'équivalence (
théorie
des ensembles) / ram...
”
Call Number:
QA10
Read Now
67
Logical, algebraic, analytic, and probabilistic aspects of triangular norms
by
Klement, E. P.
Published 2005
Elsevier
Subjects:
“
...Set
theory
/ http://id.loc.gov/authorities/subjects/sh85120387...
”
Call Number:
QA248.5
Read Now
68
Rudiments of [mu]-calculus
by
Arnold, A.
Published 2001
Elsevier
Subjects:
“
...Fixed point
theory
/ http://id.loc.gov/authorities/subjects/sh85048934...
”
Call Number:
QA10
Read Now
69
Random graphs '85 : based on lectures presented at the 2nd International Seminar on Random Graphs and Probabilistic Methods in Combinatorics, August 5-9, 1985
by
Karoński, Michał
Published 1987
North-Holland
Subjects:
“
...Trees (Graph
theory
) / Congresses...
”
Call Number:
QA166.17
Read Now
70
Trees and hills : methodology for maximizing functions of systems of linear relations
by
Greer, Rick
Published 1984
North-Holland
Subjects:
“
...Trees (Graph
theory
) / Data processing / fast / (OCoLC)fst01156139...
”
Call Number:
QA315
Read Now
71
Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
by
Gandy, R. O.
Published 1971
North-Holland Pub. Co.
Subjects:
“
...Set
theory
/ http://id.loc.gov/authorities/subjects/sh85120387...
”
Call Number:
BC135
Read Now
72
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
by
Kleene, Stephen Cole
Published 1980
North-Holland Pub. Co.
Subjects:
“
...
Théorie
de la récursivité / Congrès...
”
Call Number:
QA9.6
Read Now
73
Graphs
by
Berge, Claude
Published 1985
North Holland
Subjects:
“
...Graph
theory
/ http://id.loc.gov/authorities/subjects/sh85056471...
”
Call Number:
QA166
Read Now
74
Graphs, groups, and surfaces
by
White, Arthur T.
Published 1984
North-Holland
Subjects:
“
...Graph
theory
, group
theory
& surface topology / Interrelationships...
”
Call Number:
QA166
Read Now
75
Fuzzy sets and systems : theory and applications
by
Dubois, Didier
Published 1980
Academic Press
Subjects:
“
...Set
theory
/ http://id.loc.gov/authorities/subjects/sh85120387...
”
Call Number:
QA248
Read Now
76
Lectures on the Curry-Howard isomorphism
by
Sørensen, Morten Heine
Published 2006
Elsevier
Subjects:
“
...Proof
theory
/ http://id.loc.gov/authorities/subjects/sh85107437...
”
Call Number:
QA9.54
Read Now
77
The nuts and bolts of proofs
by
Cupillari, Antonella
Published 2005
Elsevier Academic Press
Subjects:
“
...Proof
theory
/ http://id.loc.gov/authorities/subjects/sh85107437...
”
Call Number:
QA9.54
Read Now
78
Eulerian graphs and related topics
by
Fleischner, Herbert
Published 1990
North-Holland
Subjects:
“
...Eulerian graph
theory
/ http://id.loc.gov/authorities/subjects/sh90001786...
”
Call Number:
QA166.19
Read Now
79
Eulerian graphs and related topics
by
Fleischner, Herbert
Published 1990
North-Holland
Subjects:
“
...Eulerian graph
theory
/ http://id.loc.gov/authorities/subjects/sh90001786...
”
Call Number:
QA166.19
Read Now
80
Algebra of proofs
by
Szabo, M. E.
Published 1978
North-Holland Pub. Co.
Subjects:
“
...Proof
theory
/ http://id.loc.gov/authorities/subjects/sh85107437...
”
Call Number:
QA9.54
1
2
3
4
5
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Clear Filter
Collection: Elsevier eBook collection Mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
510 - Mathematics
2
515 - Analysis
1
Language
English
93
Collection
Elsevier eBook collection Mathematics
Author
Bar-Hillel, Yehoshua
3
Berge, Claude
3
Bollobás, Béla
3
Fraenkel, Abraham Adolf
3
Gandy, R. O.
3
Keisler, H. Jerome
3
more ...
Bernays, Paul
2
Chuaqui, R.
2
Eilenberg, Samuel
2
Erdős, Paul
2
Ershov, I︠U︡riĭ Leonidovich
2
Fenstad, Jens Erik
2
Fleischner, Herbert
2
Fraïssé, Roland
2
Goodstein, R. L.
2
Kunen, Kenneth
2
Kuratowski, Kazimierz
2
Mostowski, Andrzej
2
Odifreddi, Piergiorgio
2
White, Arthur T.
2
Aggarwal, N. L.
1
Ahlberg, J. H.
1
Akiyama, J.
1
Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim
1
Alspach, B. R.
1
Andersen, Lars Døvling
1
Arnold, A.
1
Arruda, A. I.
1
Ash, C. J.
1
Atteia, Marc
1
Ault, J. C.
1
Barwise, Jon
1
Buss, Samuel R.
1
Cambridge Combinatorial Conference (1977, Trinity College)
1
Cambridge Combinatorial Conference (1988, Trinity College)
1
Centre national de la recherche scientifique (France)
1
Chang, Chen Chung
1
Chiba, N.
1
Conference on Convexity and Graph Theory (1981, Israel)
1
Conference on Graph Theory (1981, Trinity College, University of Cambridge)
1
Costa, Newton C. A. da
1
Craig, William
1
Crossley, John N.
1
Cupillari, Antonella
1
Cvetković, Dragoš M.
1
Czechoslovakian Symposium on Combinatorics, Graphs and Complexity ( 1990, Prachatice, Czechoslovakia)
1
Dickmann, M. A.
1
Dirac, Gabriel
1
Dubois, Didier
1
Egawa, Y.
1
Einstein Institute of Mathematics
1
Eklof, Paul C.
1
Enomoto, Hikoe
1
Ferrera, J.
1
Fiedler, Miroslav
1
Fitting, Melvin
1
Friedman, Harvey
1
Galatos, Nikolaos
1
Gimbel, John Gordon
1
Godsil, C. D.
1
Greer, Rick
1
Hailperin, Theodore
1
Harrington, L. A.
1
Hájek, Petr
1
Heble, M. P.
1
Hedetniemi, S. T.
1
Henley, Ernest J.
1
Hinman, Peter G.
1
Hirsch, R.
1
Hodkinson, Ian
1
Hwang, Frank
1
International Colloquium on Graph Theory and Combinatorics ( 1981, Université d'Aix-Marseille Luminy)
1
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968, Jerusalem)
1
International FCT-Conference (1983, Borgholm, Sweden)
1
International Mathematical Union
1
International Seminar on Random Graphs and Probabilistic Methods in Combinatorics ( 1985, Poznań, Poland)
1
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
1
Jacobs, Bart
1
Japan Conference on Graph Theory and Applications ( 1986, Hakone-machi, Japan)
1
Jech, Thomas J.
1
Karoński, Michał
1
Karpiński, Marek
1
Kennedy, J. W.
1
Kleene Symposium (1978, Madison, Wis.)
1
Kleene, Stephen Cole
1
Klement, E. P.
1
Knight, J.
1
Kounchev, Ognyan
1
Laskar, R. C.
1
Latin-American Symposium on Mathematical Logic ( 1976, State University of Campinas)
1
Leeuwen, J. van
1
Lévy, Azriel
1
Lobenberg, M.
1
Logic Colloquium '82 (Florence)
1
Logic Colloquium ( 1965, University of Leicester)
1
Lolli, Gabriele
1
Longo, G.
1
Lovász, László
1
López-Gómez, Julián
1
Mahadev, N. V. R.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&filter%5B%5D=dewey-ones%3A%22511+-+General+principles+of+mathematics%22&filter%5B%5D=product_txtF_mv%3A%22Elsevier+eBook+collection+Mathematics%22&lookfor=%22Theorie%22&type=Subject
Send by Email
×
Loading...