Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "set theory"
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
product_txtF_mv:"Springer Book Archives -2004"
Showing
261
-
280
of
410
Search:
'"set theory"'
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
261
Elementary Theory of Metric Spaces : A Course in Constructing Mathematical Proofs
by
Reisel, Robert B.
Published 1982
Springer New York
Table of Contents:
“
...0. Some Ideas of Logic -- I. Sets and Mappings -- 1. Some Concepts of
Set
Theory
-- 2. Some Further...
”
Read Now
262
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
...’ Mechanism for a Proof-Verifier Based on First-Order
Set
Theory
-- An Open Research Problem: Strong...
”
Read Now
263
Mathematical Expeditions : Chronicles by the Explorers
by
Laubenbacher, Reinhard
,
Pengelley, David
Published 1999
Springer New York
Table of Contents:
“
... Model for Non-Euclidean Geometry. -- 2
Set
Theory
: Taming the Infinite -- 2.1 Introduction -- 2.2...
”
Read Now
264
Classic Papers in Combinatorics
Published 1987
Birkhäuser
Table of Contents:
“
... in
Set
Theory
-- Maximal Flow Through a Network -- On Picture-Writing* -- A Theorem on Flows in Networks...
”
Read Now
265
Spatial Uncertainty in Ecology : Implications for Remote Sensing and GIS Applications
Published 2001
Springer New York
Table of Contents:
“
... Accuracy Under Fuzzy Logic -- 16 Alternative
Set
Theories
for Uncertainty in Spatial Information -- 17...
”
Read Now
266
Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Certified Polynomial-Based Decision Procedure for Propositional Logic -- Finite
Set
Theory
in ACL2...
”
Read Now
267
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Talk I -- Click’n Prove: Interactive Proofs within
Set
Theory
-- Hardware and Assembler...
”
Read Now
268
Lecture Notes on Elementary Topology and Geometry
by
Singer, I.M.
,
Thorpe, J.A.
Published 1967
Springer New York
Table of Contents:
“
...1 Some point set topology -- 1.1 Naive
set
theory
-- 1.2 Topological spaces -- 1.3 Connected...
”
Read Now
269
Cardinalities of Fuzzy Sets
by
Wygralak, Maciej
Published 2003
Springer Berlin Heidelberg
“
... sets. As general tools to determine numbers of elements the cardinals have been created in
set
theory
...
”
Read Now
270
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Published 1988
Springer Berlin Heidelberg
“
... into several subareas:
Set
Theory
, Proof Theory, Recursion Theory, and Model Theory. In addition there is what...
”
Read Now
271
Many Valued Topology and its Applications
by
Höhle, Ulrich
Published 2001
Springer US
“
... solid base for Analysis and it is intimately related to the success of
set
theory
. Many Valued Topology...
”
Read Now
272
Fuzzy Data Analysis
by
Bandemer, Hans
,
Näther, Wolfgang
Published 1992
Springer Netherlands
“
... diagnostic or control systems. The modelling presented uses ideas from fuzzy
set
theory
and the suggested...
”
Read Now
273
Applications of Category Theory to Fuzzy Subsets
Published 1992
Springer Netherlands
“
...This book has a fundamental relationship to the International Seminar on Fuzzy
Set
Theory
held each...
”
Read Now
274
Real Variable and Integration : with Historical Notes
Published 1976
Vieweg+Teubner Verlag
Table of Contents:
“
...1 Classical real variable -- 1.1
Set
theory
—a framework -- 1.2 The topology of R -- 1.3 Classical...
”
Read Now
275
Uncertainty in Knowledge-Based Systems : International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30 - July...
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
... in the framework of evidential reasoning -- O-theory: A probabilistic alternative to fuzzy
set
theory
-- Efficient...
”
Read Now
276
Unity of Science
by
Causey, Robert L.
Published 1977
Springer Netherlands
“
... of the ideas and notation of elementary logic and
set
theory
. Section C contains an introductory discussion...
”
Read Now
277
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Published 1990
Springer Berlin Heidelberg
“
... name is associated with
set
theory
. Many computing science, programming and software engineering...
”
Read Now
278
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... logic -- Tracking design changes with formal verification -- Weak systems of
set
theory
related to HOL...
”
Read Now
279
Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... of existing high level synthesis algorithms in HOL -- Five axioms of alpha-conversion --
Set
theory
, higher...
”
Read Now
280
Innovations in Intelligent Systems
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... function approximation -- 4. An algorithmic approach to the main concepts of rough
set
theory
-- 5...
”
9
10
11
12
13
14
15
16
17
18
19
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
98
006 - Special computer methods
48
515 - Analysis
33
004 - Data processing & computer science
30
005 - Computer programming, programs & data
23
510 - Mathematics
20
more ...
519 - Probabilities & applied mathematics
20
512 - Algebra
18
160 - Logic
14
620 - Engineering & allied operations
14
658 - General management
12
514 - Topology
11
501 - Philosophy & theory
10
003 - Systems
6
330 - Economics
5
001 - Knowledge
4
300 - Social sciences
4
516 - Geometry
4
530 - Physics
4
616 - Diseases
4
621 - Applied physics
4
650 - Management & auxiliary services
4
629 - Other branches of engineering
3
025 - Library operations
2
301 - Sociology & anthropology
2
410 - Linguistics
2
050 - General serial publications
1
100 - Philosophy & psychology
1
111 - Ontology
1
150 - Psychology
1
155 - Differential & developmental psychology
1
371 - Schools & their activities; special education
1
401 - Philosophy & theory
1
500 - Natural sciences & mathematics
1
518 - Numerical analysis
1
520 - Astronomy & allied sciences
1
541 - Physical chemistry
1
542 - Techniques, equipment & materials
1
570 - Life sciences; biology
1
577 - Ecology
1
610 - Medicine & health
1
617 - Surgery & related medical specialties
1
670 - Manufacturing
1
910 - Geography & travel
1
see all ...
less ...
Language
English
393
German
17
Collection
Springer Book Archives -2004
Author
Zimmermann, Hans-Jürgen
8
Höhle, Ulrich
4
Klement, Erich Peter
4
Takeuti, G.
4
Devlin, K. J.
3
Grzymala-Busse, Jerzy W.
3
more ...
Hwang, Ching-Lai
3
Kechris, Alexander
3
Leitsch, Alexander
3
Mundici, Daniele
3
Polkowski, Lech
3
Reusch, Bernd
3
Rodabaugh, S.E.
3
Sikorski, Roman
3
Zadeh, Lotfi A.
3
Zaring, W.M.
3
Abraham, Ajith
2
Agazzi, E.
2
Arbib, Michael A.
2
Billot, Antoine
2
Börger, Egon
2
Capinski, Marek
2
Castillo, Oscar
2
Dalla Chiara, Maria Luisa
2
Dubois, Didier
2
Ebbinghaus, Heinz-Dieter
2
Fedrizzi, Mario
2
Gellert, W.
2
Gil, Maria A.
2
Golan, Jonathan S.
2
Gottlob, Georg
2
Hagiya, Masami
2
Hellwich, M.
2
Hewitt, Edwin
2
Hintikka, Jaakko
2
Howie, John M.
2
Hung T. Nguyen
2
Jech, Thomas
2
Kerre, Etienne E.
2
Kharazishvili, A.B.
2
Kleine Büning, Hans
2
Klir, George J.
2
Komorowski, Jan
2
Kutateladze, Semën Samsonovich
2
Kästner, H.
2
Lai, Young-Jou
2
Lowen, R.
2
Melin, Patricia
2
Miyamoto, S.
2
Müller, G.H.
2
Nachtegael, Mike
2
Nerode, Anil
2
Nguyen, Hung T.
2
Orlowska, Ewa
2
Panik, M.J.
2
Pasi, Gabriella
2
Pedrycz, Witold
2
Peters, James F.
2
Prade, Henri
2
Richter, Michael M.
2
Roubens, M.R.
2
Shi, Yong
2
Soille, Pierre
2
SpringerLink (Online service)
2
Srebrny, M.
2
Stromberg, Karl
2
Swiniarski, Roman W.
2
Thomas, John B.
2
Tsumoto, Shusaku
2
Wallis, W.D.
2
Woodrow, R.E.
2
Yager, Ronald R.
2
Yao, Yiyu
2
Yosida, Kosaku
2
Zarach, A.
2
Zhong, Ning
2
Abraham, Ralph
1
Adamson, Iain
1
Aigner, M.
1
Alagar, V.S.
1
Alagic, Suad
1
Aliev, Rafik Aziz
1
Aliev, Rashad Rafik
1
Alpigini, James J.
1
Altenkirch, Thorsten
1
Alves-Foss, James
1
Anderson, C. Anthony
1
Andrews, Peter B.
1
Arbib, M.A.
1
Arhangel' skii, A. V.
1
Asperti, Andrea
1
Atanassov, Krassimir T.
1
Azarmi, Nader
1
Azvine, Behnam
1
Baaz, Matthias
1
Bacharach, Stephen L.
1
Bagaria, Joan
1
Bancerek, Grzegorz
1
Bandemer, Hans
1
Barahona, Pedro
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=14&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22set+theory%22&type=AllFields
Send by Email
×
Loading...