Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for MATHEMATICAL LOGIC AND FOUNDATIONS returned 14 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Advances in Computational Intelligence and Learning: Methods and Applications Advances in Computational Intelligence and Learning: Methods and Applications [Ebook]
Series:International Series in Intelligent Technologies,Volume:18
 		  2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
2 Logical and Computational Aspects of Model-Based Reasoning Logical and Computational Aspects of Model-Based Reasoning [Ebook]
Series:Applied Logic Series,Volume:25
 		  2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [Ebook]
Series:Applied Logic Series,Volume:27
 		Andrews, Peter B. 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
4 Fuzzy Relational Systems: Foundations and Principles / Fuzzy Relational Systems: Foundations and Principles / [Ebook]
Series:International Federation for Systems Research International Series on Systems Science and Engineering,Volume:20
 		Bělohlávek, Radim 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
5 Fuzzy Geometric Programming Fuzzy Geometric Programming [Ebook]
Series:Applied Optimization,Volume:76
 		Cao, Bing-Yuan 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
6 Probabilistic Logic in a Coherent Setting Probabilistic Logic in a Coherent Setting [Ebook]
Series:Trends in Logic,Volume:15
 		Coletii, Giulianella 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
7 Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics / Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics / [Ebook]
Series:Trends in Logic, Studia Logica Library,Volume:14
 		Ghilardi, Silvio 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
8 Infinitesimal Analysis Infinitesimal Analysis [Ebook]
Series:Mathematics and its applicationsVolume:544
 		Gordon, Evgenii Izrailevič 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
9 Model Theory: An Introduction / Model Theory: An Introduction / [Ebook]
Series:Graduate Texts in Mathematics,Volume:217
 		Marker, David 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
10 Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography / Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography / [Ebook] Nievergelt, Yves 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
11 Substructural Logics: A Primer Substructural Logics: A Primer [Ebook]
Series:Trends in Logic, Studia Logica Library,Volume:13
 		Paoli, Francesco 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
12 The Semantics and Proof Theory of the Logic of Bunched Implications The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook]
Series:Applied Logic SeriesVolume:26
 		Pym, David J. 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
13 Generalized Concavity in Fuzzy Optimization and Decision Analysis Generalized Concavity in Fuzzy Optimization and Decision Analysis [Ebook]
Series:International Series in Operations Research & Management Science,Volume:41
 		Ramík, Jaroslav 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
14 Genetic Algorithms and Fuzzy Multiobjective Optimization Genetic Algorithms and Fuzzy Multiobjective Optimization [Ebook]
Series:Operations Research/Computer Science Interfaces Series,Volume:14
 		Sakawa, Masatoshi 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search