|
|
Click the serial number on the left to view the details of the item. |
# |
Author | Title | Accn# | Year | Item Type | Claims |
21 |
Sauer, Norbert W |
Finite and Infinite Combinatorics in Sets and Logic |
I00234 |
1993 |
eBook |
|
22 |
Hart, Bradd T |
Algebraic Model Theory |
I00108 |
1997 |
eBook |
|
23 |
George Boole |
Investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities |
019400 |
1854 |
Book |
|
24 |
WEYL, HERMANN |
Philosophy of mathematics and natural science |
019823 |
1949 |
Book |
|
25 |
STOLL, ROBERT R. |
Set theory and logic |
019788 |
1967 |
Book |
|
26 |
V.A. Uspensky |
Godel's incompleteness theorem |
003394 |
1987 |
Book |
|
27 |
G. Polya |
Mathematics and plausible reasoning. Vol. 2: Patterns of plausible inference |
003380 |
1968 |
Book |
|
28 |
G. Polya |
Mathematics and plausible reasoning. Vol. 1: Introduction and analogy in mathematics |
003379 |
1954 |
Book |
|
29 |
Bart Kosko |
Fuzzy thinking : The new science of fuzzy logic |
014353 |
1993 |
Book |
|
30 |
Sun-Joo Shin |
Logical status of diagrams |
012602 |
1994 |
Book |
|
|
21.
|
 |
Title | Finite and Infinite Combinatorics in Sets and Logic |
Author(s) | Sauer, Norbert W;Woodrow, R.E;Sands, B |
Publication | Dordrecht, Springer Netherlands, 1993. |
Description | XVII, 453 p : online resource |
Abstract Note | 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 |
ISBN,Price | 9789401120807 |
Keyword(s) | 1. COMBINATORICS
2. Computer science???Mathematics
3. DISCRETE MATHEMATICS
4. Discrete Mathematics in Computer Science
5. EBOOK
6. EBOOK - SPRINGER
7. MATHEMATICAL LOGIC
8. Mathematical Logic and Foundations
9. MATHEMATICS
10. Mathematics, general
|
Item Type | eBook |
Multi-Media Links
Please Click here for eBook
Circulation Data
Accession# | |
Call# | Status | Issued To | Return Due On | Physical Location |
I00234 |
|
|
On Shelf |
|
|
|
|
22.
|
 |
Title | Algebraic Model Theory |
Author(s) | Hart, Bradd T;Lachlan, A;Valeriote, Matthew A |
Publication | Dordrecht, Springer Netherlands, 1997. |
Description | XVII, 277 p : online resource |
Abstract Note | Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented |
ISBN,Price | 9789401589239 |
Keyword(s) | 1. ALGEBRAIC GEOMETRY
2. EBOOK
3. EBOOK - SPRINGER
4. FUNCTIONS OF REAL VARIABLES
5. GROUP THEORY
6. Group Theory and Generalizations
7. MATHEMATICAL LOGIC
8. Mathematical Logic and Foundations
9. REAL FUNCTIONS
|
Item Type | eBook |
Multi-Media Links
Please Click here for eBook
Circulation Data
Accession# | |
Call# | Status | Issued To | Return Due On | Physical Location |
I00108 |
|
|
On Shelf |
|
|
|
| |