1 |
![Fuzzy Systems: Modeling and Control Fuzzy Systems: Modeling and Control](Cover.cls?type=cover&isbn=9781461555056&size=100) |
Fuzzy Systems: Modeling and Control [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
2 |
![Logica Universalis: Towards a General Theory of Logic Logica Universalis: Towards a General Theory of Logic](Cover.cls?type=cover&isbn=9783764373047&size=100) |
Logica Universalis: Towards a General Theory of Logic [Ebook]
|
|
2005 |
|
Shelf Location: Online Resource : Birkhäuser.
|
3 |
![Logica Universalis: Towards a General Theory of Logic Logica Universalis: Towards a General Theory of Logic](Cover.cls?type=cover&isbn=9783764383541&size=100) |
Logica Universalis: Towards a General Theory of Logic [Ebook]
|
|
2007 |
|
Shelf Location: Online Resource : Birkhäuser.
|
4 |
![Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday](Cover.cls?type=cover&isbn=9781461203254&size=100) |
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday [Ebook]
|
|
1993 |
|
Shelf Location: Online resource: Birkhäuser.
|
5 |
![Mathematical Problems from Applied Logic I: Logics for the XXIst Century Mathematical Problems from Applied Logic I: Logics for the XXIst Century](Cover.cls?type=cover&isbn=9780387310725&size=100) |
Mathematical Problems from Applied Logic I: Logics for the XXIst Century [Ebook]
|
|
2006 |
|
Shelf Location: Online Resource : Springer.
|
6 |
![Mathematical Problems from Applied Logic II: Logics for the XXIst Century Mathematical Problems from Applied Logic II: Logics for the XXIst Century](Cover.cls?type=cover&isbn=9780387692456&size=100) |
Mathematical Problems from Applied Logic II: Logics for the XXIst Century [Ebook]
|
|
2007 |
|
Shelf Location: Online Resource : Springer.
|
7 |
![Set Theory: Centre de Recerca Matemàtica Barcelona, 2003-2004 Set Theory: Centre de Recerca Matemàtica Barcelona, 2003-2004](Cover.cls?type=cover&isbn=9783764376925&size=100) |
Set Theory: Centre de Recerca Matemàtica Barcelona, 2003-2004 [Ebook]
|
|
2006 |
|
Shelf Location: Online Resource : Birkhäuser.
|
8 |
![From sets and types to topology and analysis: towards practicable foundations for constructive mathematics From sets and types to topology and analysis: towards practicable foundations for constructive mathematics](Cover.cls?type=cover&isbn=9780191713927&size=100) |
From sets and types to topology and analysis: towards practicable foundations for constructive mathematics [Ebook]
|
|
2007 |
|
Shelf Location: Online Resource : Oxford Scholarship Online.
|
9 |
![The Strength of Nonstandard Analysis The Strength of Nonstandard Analysis](Cover.cls?type=cover&isbn=9783211499054&size=100) |
The Strength of Nonstandard Analysis [Ebook]
|
|
2007 |
|
Shelf Location: Online Resource: Springer.
|
10 |
![Hyperfinite Dirichlet Forms and Stochastic Processes Hyperfinite Dirichlet Forms and Stochastic Processes](Cover.cls?type=cover&isbn=9783642196591&size=100) |
Hyperfinite Dirichlet Forms and Stochastic Processes [Ebook]
|
Albeverio, Sergio
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
11 |
![104 Number Theory Problems: From the Training of the USA IMO Team 104 Number Theory Problems: From the Training of the USA IMO Team](Cover.cls?type=cover&isbn=9780817645618&size=100) |
104 Number Theory Problems: From the Training of the USA IMO Team [Ebook]
|
Andreescu, Titu 1956-
|
2007 |
|
Shelf Location: Online Resource : Birkhäuser.
|
12 |
![Mathematical Olympiad Challenges Mathematical Olympiad Challenges](Cover.cls?type=cover&isbn=9780817646110&size=100) |
Mathematical Olympiad Challenges [Ebook]
|
Andreescu, Titu 1956-
|
2009 |
|
Shelf Location: Online Resource : Birkhäuser.
|
13 |
![Mathematical Olympiad Treasures Mathematical Olympiad Treasures](Cover.cls?type=cover&isbn=9780817682538&size=100) |
Mathematical Olympiad Treasures [Ebook]
|
Andreescu, Titu 1956-
|
2012 |
|
Shelf Location: Online Resourc : Birkhäuser.
|
14 |
![A Missing Link in Cybernetics: Logic and Continuity A Missing Link in Cybernetics: Logic and Continuity](Cover.cls?type=cover&isbn=9780387751641&size=100) |
A Missing Link in Cybernetics: Logic and Continuity [Ebook]
|
Andrew, Alex M.
|
2009 |
|
Shelf Location: Online Resource : Springer.
|
15 |
![An Invitation to Abstract Mathematics An Invitation to Abstract Mathematics](Cover.cls?type=cover&isbn=9781461466369&size=100) |
An Invitation to Abstract Mathematics [Ebook]
|
Bajnok, Béla
|
2013 |
|
Shelf Location: Online Resource: Springer.
|
16 |
![Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles](Cover.cls?type=cover&isbn=9783642136061&size=100) |
Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles [Ebook]
|
Bartocci, Claudio 1962-
|
2011 |
|
Shelf Location: Online Resource : Springer.
|
17 |
![Toposes and local set theories: an introduction Toposes and local set theories: an introduction](Cover.cls?type=cover&isbn=9780198532743&size=100) |
Toposes and local set theories: an introduction [Monograph ]
|
Bell, John Lane 1945-
|
1988 |
|
Shelf Location: 510.2 BEL.
Collections: General.
Number of Holdings: 1.
|
18 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Una logica dei termini singolari [Monograph ]
|
Bencivegna, Ermanno
|
1980 |
|
Shelf Location: 510.6 BEN.
Collections: General.
Number of Holdings: 1.
|
19 |
![Around and Beyond the Square of Opposition Around and Beyond the Square of Opposition](Cover.cls?type=cover&isbn=9783034803793&size=100) |
Around and Beyond the Square of Opposition [Ebook]
|
Beziau, Jean-Yves
|
2012 |
|
Shelf Location: Online Resource : Springer.
|
20 |
![Proofs and Fundamentals: A First Course in Abstract Mathematics Proofs and Fundamentals: A First Course in Abstract Mathematics](Cover.cls?type=cover&isbn=9781441971272&size=100) |
Proofs and Fundamentals: A First Course in Abstract Mathematics [Ebook]
|
Bloch, Ethan D. 1956-
|
2011 |
|
Shelf Location: Online Resource : Springer.
|
21 |
![Computabilità, complessità, logica: introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità Computabilità, complessità, logica: introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità](Cover.cls?type=cover&isbn=9788833954349&size=100) |
Computabilità, complessità, logica: introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità [Monograph ]
|
Börger, E. (Egon) 1946-
|
1989 |
|
Shelf Location: 510.6 BOR.
Collections: General.
Number of Holdings: 1.
|
22 |
![Computability, complexity, logic Computability, complexity, logic](Cover.cls?type=cover&isbn=9780444874061&size=100) |
Computability, complexity, logic [Monograph ]
|
Börger, E. (Egon) 1946-
|
1989 |
|
Shelf Location: 510.6 BOR.
Collections: General.
Number of Holdings: 1.
|
23 |
![Logics of Variable Inclusion Logics of Variable Inclusion](Cover.cls?type=cover&isbn=9783031042973&size=100) |
Logics of Variable Inclusion [Ebook]
|
Bonzio, Stefano
|
2022 |
|
Shelf Location: Online resource: Springer.
|
24 |
![Théorie des ensembles Théorie des ensembles](Cover.cls?type=cover&isbn=9783540340355&size=100) |
Théorie des ensembles [Ebook]
|
Bourbaki, Nicolas
|
2006 |
|
Shelf Location: Online Resource: Springer.
|
25 |
![Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory](Cover.cls?type=cover&isbn=9789400700024&size=100) |
Hybrid Logic and its Proof-Theory [Ebook]
|
Braüner, Torben
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
26 |
![Techniques of Constructive Analysis Techniques of Constructive Analysis](Cover.cls?type=cover&isbn=9780387381473&size=100) |
Techniques of Constructive Analysis [Ebook]
|
Bridges, Douglas S. 1945-
|
2006 |
|
Shelf Location: Online Resource : Springer.
|
27 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Lezioni sull' intuizionismo: Cambridge 1946-51 [Monograph ]
|
Brouwer, Luitzen Egbert Jan
|
1983 |
|
Shelf Location: 510.6 BRO.
Collections: General.
Number of Holdings: 1.
|
28 |
![La formazione della teoria degli insiemi: saggi 1872-1883 La formazione della teoria degli insiemi: saggi 1872-1883](Cover.cls?type=cover&isbn=9788838314100&size=100) |
La formazione della teoria degli insiemi: saggi 1872-1883 [Monograph ]
|
Cantor, Georg 1845-1918
|
1992 |
|
Shelf Location: 510.6 CAN.
Collections: General.
Number of Holdings: 1.
|
29 |
![Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems](Cover.cls?type=cover&isbn=9781402067822&size=100) |
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems [Ebook]
|
Carnielli, Walter
|
2008 |
|
Shelf Location: Online Resource: Springer.
|
30 |
![Aspects of Mathematical Logic Aspects of Mathematical Logic](Cover.cls?type=cover&isbn=9783642110801&size=100) |
Aspects of Mathematical Logic [Ebook]
|
Casari, Ettore
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
31 |
![Bolzano's logical system Bolzano's logical system](Cover.cls?type=cover&isbn=9780191830228&size=100) |
Bolzano's logical system [Ebook]
|
Casari, Ettore
|
2017 |
|
Shelf Location: Online Resource : Oxford Scholarship Online.
|
32 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Aspects of mathematical logic [lectures of] Centro Internazionale Matematico Estivo (C.I.M.E.), III ciclo, Varenna, 9-17 settembre 1968 [Monograph ]
|
Centro Internazionale Matematico Estivo 1968
|
1969 |
|
Shelf Location: 510.6 CIME 1968.
Collections: General.
Number of Holdings: 1.
|
33 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Teoria dei modelli [Monograph ]
|
Chang, Chen-Chung 1927-
|
1980 |
|
Shelf Location: 510.6 CHA.
Collections: General.
Number of Holdings: 1.
|
34 |
![Kolmogorov's Heritage in Mathematics Kolmogorov's Heritage in Mathematics](Cover.cls?type=cover&isbn=9783540363514&size=100) |
Kolmogorov's Heritage in Mathematics [Ebook]
|
Charpentier, Éric
|
2007 |
|
Shelf Location: Online Resource : Springer.
|
35 |
![Additive Number Theory: Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson Additive Number Theory: Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson](Cover.cls?type=cover&isbn=9780387683614&size=100) |
Additive Number Theory: Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson [Ebook]
|
Chudnovsky, David
|
2010 |
|
Shelf Location: Online Resource: Springer.
|
36 |
![Un mondo di idee: La matematica ovunque Un mondo di idee: La matematica ovunque](Cover.cls?type=cover&isbn=9788847017443&size=100) |
Un mondo di idee: La matematica ovunque [Ebook]
|
Ciliberto, Ciro
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
37 |
![Non-commutative Multiple-Valued Logic Algebras Non-commutative Multiple-Valued Logic Algebras](Cover.cls?type=cover&isbn=9783319015897&size=100) |
Non-commutative Multiple-Valued Logic Algebras [Ebook]
|
Ciungu, Lavinia Corina
|
2014 |
|
Shelf Location: Online Resource : Springer.
|
38 |
![Set theory and the continuum hypothesis Set theory and the continuum hypothesis](Cover.cls?type=cover&isbn=080532327&size=100) |
Set theory and the continuum hypothesis [Monograph ]
|
Cohen, Paul J. 1934-
|
1966 |
|
Shelf Location: 510.2 COH.
Collections: General.
Number of Holdings: 1.
|
39 |
![Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics](Cover.cls?type=cover&isbn=9781848825390&size=100) |
Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics [Ebook]
|
Constanda, Christian
|
2009 |
|
Shelf Location: Online Resource: Springer.
|
40 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Che cos' è la logica matematica? [Monograph ]
|
Crossley, John Newsome
|
1976 |
|
Shelf Location: 510.6 CHE.
Collections: General.
Number of Holdings: 1.
|
41 |
![A Logical Introduction to Proof A Logical Introduction to Proof](Cover.cls?type=cover&isbn=9781461436317&size=100) |
A Logical Introduction to Proof [Ebook]
|
Cunningham, Daniel W.
|
2013 |
|
Shelf Location: Online Resource: Springer.
|
42 |
![Reading, Writing, and Proving: A Closer Look at Mathematics Reading, Writing, and Proving: A Closer Look at Mathematics](Cover.cls?type=cover&isbn=9781441994790&size=100) |
Reading, Writing, and Proving: A Closer Look at Mathematics [Ebook]
|
Daepp, Ulrich
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
43 |
![L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life](Cover.cls?type=cover&isbn=9781447146162&size=100) |
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life [Ebook]
|
Dalen, Dirk van
|
2013 |
|
Shelf Location: Online Resource : Springer.
|
44 |
![Logic and Structure Logic and Structure](Cover.cls?type=cover&isbn=9781447145585&size=100) |
Logic and Structure [Ebook]
|
Dalen, Dirk van
|
2013 |
|
Shelf Location: Online Resource: Springer.
|
45 |
![The Selected Correspondence of L.E.J. Brouwer The Selected Correspondence of L.E.J. Brouwer](Cover.cls?type=cover&isbn=9780857295378&size=100) |
The Selected Correspondence of L.E.J. Brouwer [Ebook]
|
Dalen, Dirk van
|
2011 |
|
Shelf Location: Online Resource: Springer.
|
46 |
![Set Theory: With an Introduction to Real Point Sets Set Theory: With an Introduction to Real Point Sets](Cover.cls?type=cover&isbn=9781461488545&size=100) |
Set Theory: With an Introduction to Real Point Sets [Ebook]
|
Dasgupta, Abhijit
|
2014 |
|
Shelf Location: Online Resource: Birkhäuser.
|
47 |
![The Mathematical Experience The Mathematical Experience](Cover.cls?type=cover&isbn=9780817682958&size=100) |
The Mathematical Experience [Ebook]
|
Davis, Philip J. 1923-
|
2012 |
|
Shelf Location: Online Resource : Birkhäuser.
|
48 |
![A profile of mathematical logic A profile of mathematical logic](Cover.cls?type=cover&isbn=9780201014990&size=100) |
A profile of mathematical logic [Monograph ]
|
DeLong, Howard 1936-
|
1970 |
|
Shelf Location: 510.6 DEL.
Collections: General.
Number of Holdings: 1.
|
49 |
![Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory](Cover.cls?type=cover&isbn=9783030179564&size=100) |
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory [Ebook]
|
Di Nasso, Mauro
|
2019 |
|
Shelf Location: Online Resource: Springer.
|
50 |
![Institution-independent Model Theory Institution-independent Model Theory](Cover.cls?type=cover&isbn=9783764387082&size=100) |
Institution-independent Model Theory [Ebook]
|
Diaconescu, Răzvan
|
2008 |
|
Shelf Location: Online Resource : Birkhäuser.
|