SLIM21

Sort Order Display Format Items / Page  
 
  Click the serial number on the left to view the details of the item.
 #  AuthorTitleAccn#YearItem 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  
(page:3 / 3) [#30] First Page   Previous Page    

21.    
No image available
TitleFinite and Infinite Combinatorics in Sets and Logic
Author(s)Sauer, Norbert W;Woodrow, R.E;Sands, B
PublicationDordrecht, Springer Netherlands, 1993.
DescriptionXVII, 453 p : online resource
Abstract NoteThis 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,Price9789401120807
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 TypeeBook
Multi-Media Links
Please Click here for eBook
Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
I00234     On Shelf    

22.     
No image available
TitleAlgebraic Model Theory
Author(s)Hart, Bradd T;Lachlan, A;Valeriote, Matthew A
PublicationDordrecht, Springer Netherlands, 1997.
DescriptionXVII, 277 p : online resource
Abstract NoteRecent 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,Price9789401589239
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 TypeeBook
Multi-Media Links
Please Click here for eBook
Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
I00108     On Shelf    

23.     
No image available
TitleInvestigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
Author(s)George Boole
PublicationNew York, Dover Publications, Inc., 1854.
Description424p.
ISBN,PriceUS $2.00
Classification510.6
Keyword(s)1. LAW OT THOUGHT 2. MATHEMATICAL LOGIC 3. MATHEMATICAL THEORIES 4. MATHEMATICS 5. PROBABILITIES
Item TypeBook
Multi-Media Links
Please Click Here for eBooks
Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
019400   510.6/BOO/019400  On Shelf    

+Copy Specific Information
24.     
No image available
TitlePhilosophy of mathematics and natural science
Author(s)Hermann Weyl
PublicationPrinceton, Princeton University Press, 1949.
Descriptionx, 311p.; Index p302
ISBN,PriceUS $5.00
Classification510.21:502
Keyword(s)1. GEOMETRY 2. MATHEMATICAL LOGIC 3. MATHEMATICS 4. METHODOLOGY OF SCIENCE 5. NATURE 6. NATURE SCIENCE
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
019823   510.21:502/WEYL/019823  On Shelf    

+Copy Specific Information
25.     
No image available
TitleSet theory and logic
Author(s)Robert R. Stoll
PublicationNew Delhi, Eurasia Publishing House, 1967.
Descriptionx, 474p.
ISBN,PriceRs.12.50
Classification510.22:510.6
Keyword(s)1. BOOLEAN ALGEBRA 2. MATHEMATICAL LOGIC 3. NUMBER SYSTEM 4. SET THEORY 5. Vov-Neumann Theory
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
019788   510.22:510.6/STO/019788  On Shelf    

+Copy Specific Information
26.     
No image available
TitleGodel's incompleteness theorem
Author(s)V.A. Uspensky
PublicationMoscow, MIR Publishers, 1987.
Description104p.
Series(Little Mathematics Library)
Classification510.6
Keyword(s)1. GODEL'S PROOF 2. MATHEMATICAL LOGIC
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
003394   510.6/USP/003394  On Shelf    

+Copy Specific Information
27.     
No image available
TitleMathematics and plausible reasoning. Vol. 2: Patterns of plausible inference
Author(s)G. Polya
PublicationPrinceton, Princeton University Press, 1968.
Description225p.
Classification510.6
Keyword(s)1. MATHEMATICAL LOGIC 2. MATHEMATICS 3. MATHEMATICS-PROBLEM SOLVING
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
003380   510.6/POL/003380  On Shelf    

+Copy Specific Information
28.     
No image available
TitleMathematics and plausible reasoning. Vol. 1: Introduction and analogy in mathematics
Author(s)G. Polya
PublicationPrinceton, Princeton University Press, 1954.
Description280p.
Classification510.6
Keyword(s)1. MATHEMATICAL LOGIC 2. MATHEMATICS 3. MATHEMATICS-PROBLEM SOLVING
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
003379   510.6/POL/003379  On Shelf    

+Copy Specific Information
29.     
No image available
TitleFuzzy thinking : The new science of fuzzy logic
Author(s)Bart Kosko
PublicationLondon, Flamingo (An imprint of HarperCollins publishers), 1993.
ISBN,Price0-00-654713-3
Classification510.64
Keyword(s)1. FUZZY LOGIC 2. LOGIC 3. MATHEMATICAL LOGIC 4. NONLINEAR PHYSICS
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
014353   510.64/KOS/014353  On Shelf    

+Copy Specific Information
30.    
No image available
TitleLogical status of diagrams
Author(s)Sun-Joo Shin
PublicationCambridge, Cambridge University Press, 1994.
Descriptionxi, 197pp.
ISBN,Price0-521-46157-X
Classification510.6
Keyword(s)1. DIAGRAMS 2. MATHEMATICAL LOGIC 3. VENN DIAGRAMS
Item TypeBook

Circulation Data
Accession#  Call#StatusIssued ToReturn Due On Physical Location
012602   510.6/SHIN/012602  On Shelf    

+Copy Specific Information
(page:3 / 3) [#30] First Page   Previous Page