Search Results

Your Search for LOGIC SYMBOLIC AND MATHEMATICAL returned 142 Items

Sort Preference Search Result Page: . 1 NNN 2 . NNN 3 . . Top Next . . Page: 1 of 3
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Display results in shelf format.

Search Results
Result	Title	Author	Year	Holding Information
1	Select this title Fuzzy Systems: Modeling and Control [Ebook] Series:The Springer Handbook Series on Fuzzy SetsVolume:2		1998	Shelf Location: Online resource: Springer.
2	Select this title Logica Universalis: Towards a General Theory of Logic [Ebook]		2005	Shelf Location: Online Resource : Birkhäuser.
3	Select this title Logica Universalis: Towards a General Theory of Logic [Ebook]		2007	Shelf Location: Online Resource : Birkhäuser.
4	Select this title Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday [Ebook] Series:Progress in computer science and applied logicVolume:12		1993	Shelf Location: Online resource: Birkhäuser.
5	Select this title Mathematical Problems from Applied Logic I: Logics for the XXIst Century [Ebook] Series:International Mathematical SeriesVolume:4		2006	Shelf Location: Online Resource : Springer.
6	Select this title Mathematical Problems from Applied Logic II: Logics for the XXIst Century [Ebook] Series:International Mathematical SeriesVolume:5		2007	Shelf Location: Online Resource : Springer.
7	Select this title Set Theory: Centre de Recerca Matemàtica Barcelona, 2003-2004 [Ebook] Series:Trends in mathematics		2006	Shelf Location: Online Resource : Birkhäuser.
8	Select this title From sets and types to topology and analysis: towards practicable foundations for constructive mathematics [Ebook] Series:Oxford logic guidesVolume:48		2007	Shelf Location: Online Resource : Oxford Scholarship Online.
9	Select this title The Strength of Nonstandard Analysis [Ebook]		2007	Shelf Location: Online Resource: Springer.
10	Select this title Hyperfinite Dirichlet Forms and Stochastic Processes [Ebook] Series:Lecture Notes of the Unione Matematica ItalianaVolume:10	Albeverio, Sergio	2011	Shelf Location: Online Resource: Springer.
11	Select this title 104 Number Theory Problems: From the Training of the USA IMO Team [Ebook]	Andreescu, Titu 1956-	2007	Shelf Location: Online Resource : Birkhäuser.
12	Select this title Mathematical Olympiad Challenges [Ebook]	Andreescu, Titu 1956-	2009	Shelf Location: Online Resource : Birkhäuser.
13	Select this title Mathematical Olympiad Treasures [Ebook]	Andreescu, Titu 1956-	2012	Shelf Location: Online Resourc : Birkhäuser.
14	Select this title A Missing Link in Cybernetics: Logic and Continuity [Ebook] Series:IFSR International Series on Systems Science and Engineering,Volume:26	Andrew, Alex M.	2009	Shelf Location: Online Resource : Springer.
15	Select this title An Invitation to Abstract Mathematics [Ebook] Series:Undergraduate texts in mathematics	Bajnok, Béla	2013	Shelf Location: Online Resource: Springer.
16	Select this title Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles [Ebook]	Bartocci, Claudio 1962-	2011	Shelf Location: Online Resource : Springer.
17	Select this title Toposes and local set theories: an introduction [Monograph ] Series:Oxford logic guidesVolume:14	Bell, John Lane 1945-	1988	Shelf Location: 510.2 BEL. Collections: General. Number of Holdings: 1.
18	Select this title Una logica dei termini singolari [Monograph ] Series:Testi e manuali della scienza contemporanea. Serie di logica matematica	Bencivegna, Ermanno	1980	Shelf Location: 510.6 BEN. Collections: General. Number of Holdings: 1.
19	Select this title Around and Beyond the Square of Opposition [Ebook] Series:Studies in Universal Logic	Beziau, Jean-Yves	2012	Shelf Location: Online Resource : Springer.
20	Select this title Proofs and Fundamentals: A First Course in Abstract Mathematics [Ebook] Series:Undergraduate texts in mathematics	Bloch, Ethan D. 1956-	2011	Shelf Location: Online Resource : Springer.
21	Select this title Computabilità, complessità, logica: introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità [Monograph ] Series:Testi e manuali della scienza contemporanea. Serie di informatica	Börger, E. (Egon) 1946-	1989	Shelf Location: 510.6 BOR. Collections: General. Number of Holdings: 1.
22	Select this title Computability, complexity, logic [Monograph ] Series:Studies in logic and the foundations of mathematicsVolume:v.128	Börger, E. (Egon) 1946-	1989	Shelf Location: 510.6 BOR. Collections: General. Number of Holdings: 1.
23	Select this title Logics of Variable Inclusion [Ebook] Series:Trends in Logic, Studia Logica Library,Volume:59	Bonzio, Stefano	2022	Shelf Location: Online resource: Springer.
24	Select this title Théorie des ensembles [Ebook]	Bourbaki, Nicolas	2006	Shelf Location: Online Resource: Springer.
25	Select this title Hybrid Logic and its Proof-Theory [Ebook] Series:Applied Logic SeriesVolume:37	Braüner, Torben	2011	Shelf Location: Online Resource: Springer.
26	Select this title Techniques of Constructive Analysis [Ebook] Series:Universitext	Bridges, Douglas S. 1945-	2006	Shelf Location: Online Resource : Springer.
27	Select this title Lezioni sull' intuizionismo: Cambridge 1946-51 [Monograph ] Series:LectioVolume:4	Brouwer, Luitzen Egbert Jan	1983	Shelf Location: 510.6 BRO. Collections: General. Number of Holdings: 1.
28	Select this title La formazione della teoria degli insiemi: saggi 1872-1883 [Monograph ] Series:Biblioteca Universale SansoniVolume:vol. 66	Cantor, Georg 1845-1918	1992	Shelf Location: 510.6 CAN. Collections: General. Number of Holdings: 1.
29	Select this title Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems [Ebook] Series:Applied Logic Series,Volume:35	Carnielli, Walter	2008	Shelf Location: Online Resource: Springer.
30	Select this title Aspects of Mathematical Logic [Ebook] Series:CIME summer schoolsVolume:48	Casari, Ettore	2011	Shelf Location: Online Resource: Springer.
31	Select this title Bolzano's logical system [Ebook] Series:Oxford logic guidesVolume:54	Casari, Ettore	2017	Shelf Location: Online Resource : Oxford Scholarship Online.
32	Select this title 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	Select this title Teoria dei modelli [Monograph ] Series:Testi e manuali della scienza contemporanea. Serie di logica matematica	Chang, Chen-Chung 1927-	1980	Shelf Location: 510.6 CHA. Collections: General. Number of Holdings: 1.
34	Select this title Kolmogorov's Heritage in Mathematics [Ebook]	Charpentier, Éric	2007	Shelf Location: Online Resource : Springer.
35	Select this title Additive Number Theory: Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson [Ebook]	Chudnovsky, David	2010	Shelf Location: Online Resource: Springer.
36	Select this title Un mondo di idee: La matematica ovunque [Ebook] Series:I blu, pagine di scienza	Ciliberto, Ciro	2011	Shelf Location: Online Resource: Springer.
37	Select this title Non-commutative Multiple-Valued Logic Algebras [Ebook]	Ciungu, Lavinia Corina	2014	Shelf Location: Online Resource : Springer.
38	Select this title Set theory and the continuum hypothesis [Monograph ]	Cohen, Paul J. 1934-	1966	Shelf Location: 510.2 COH. Collections: General. Number of Holdings: 1.
39	Select this title Dude, Can You Count? Stories, Challenges, and Adventures in Mathematics [Ebook]	Constanda, Christian	2009	Shelf Location: Online Resource: Springer.
40	Select this title Che cos' è la logica matematica? [Monograph ] Series:Universale scientifica BoringhieriVolume:140	Crossley, John Newsome	1976	Shelf Location: 510.6 CHE. Collections: General. Number of Holdings: 1.
41	Select this title A Logical Introduction to Proof [Ebook]	Cunningham, Daniel W.	2013	Shelf Location: Online Resource: Springer.
42	Select this title Reading, Writing, and Proving: A Closer Look at Mathematics [Ebook] Series:Undergraduate texts in mathematics	Daepp, Ulrich	2011	Shelf Location: Online Resource: Springer.
43	Select this title L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life [Ebook]	Dalen, Dirk van	2013	Shelf Location: Online Resource : Springer.
44	Select this title Logic and Structure [Ebook] Series:Universitext	Dalen, Dirk van	2013	Shelf Location: Online Resource: Springer.
45	Select this title The Selected Correspondence of L.E.J. Brouwer [Ebook] Series:Sources and studies in the history of mathematics and physical sciences	Dalen, Dirk van	2011	Shelf Location: Online Resource: Springer.
46	Select this title Set Theory: With an Introduction to Real Point Sets [Ebook]	Dasgupta, Abhijit	2014	Shelf Location: Online Resource: Birkhäuser.
47	Select this title The Mathematical Experience [Ebook] Series:Modern Birkhäuser classics	Davis, Philip J. 1923-	2012	Shelf Location: Online Resource : Birkhäuser.
48	Select this title A profile of mathematical logic [Monograph ] Series:Addison-Wesley series in mathematics	DeLong, Howard 1936-	1970	Shelf Location: 510.6 DEL. Collections: General. Number of Holdings: 1.
49	Select this title Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory [Ebook] Series:Lecture Notes in MathematicsVolume:2239	Di Nasso, Mauro	2019	Shelf Location: Online Resource: Springer.
50	Select this title Institution-independent Model Theory [Ebook] Series:Studies in Universal Logic	Diaconescu, Răzvan	2008	Shelf Location: Online Resource : Birkhäuser.