Koha online catalog › Results of search for 'su:"Logic, Symbolic and mathematical"'

	1.	Brouwer meets Husserl [electronic resource] : On the Phenomenology of Choice Sequences / by Mark Atten. by Atten, Mark \| SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Dordrecht : Springer, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: B829.5 A88 2007 (1). Place hold Add to cart (remove)
	2.	Logic for Computer Scientists [electronic resource] / by Uwe Schöning. by Schöning, Uwe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Birkhäuser Boston, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9 S36 2008 (1). Place hold Add to cart (remove)
	3.	Problems and Theorems in Classical Set Theory [electronic resource] / by Péter Komjáth, Vilmos Totik. by Komjáth, Péter \| Totik, Vilmos \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: New York, NY : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA248 K66 2006 (1). Place hold Add to cart (remove)
	4.	Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] / by E. D. Solojentsev. by Solojentsev, E. D \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: HD31 S65 2005 (1). Place hold Add to cart (remove)
	5.	Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Gabbay, Dov M \| Zakharyaschev, Michael \| Goncharov, Sergei S \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9 M38 2007 (1). Place hold Add to cart (remove)
	6.	Modalities and Multimodalities [electronic resource] : With the assistance and collaboration of Juliana Bueno-Soler / by Walter Carnielli, Claudio Pizzi. by Carnielli, Walter \| Pizzi, Claudio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: BC199.M6 C37 2008 (1). Place hold Add to cart (remove)
	7.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem \| Walsh, Toby \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available : Add to cart (remove)
	8.	Completeness Theory for Propositional Logics [electronic resource] / by Witold A. Pogorzelski, Piotr Wojtylak. by Pogorzelski, Witold A \| Wojtylak, Piotr \| SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Basel : Birkhäuser Verlag AG, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.67 P64 2008 (1). Place hold Add to cart (remove)
	9.	Propositional and Predicate Calculus A Model of Argument [electronic resource] / by Derek Goldrei. by Goldrei, Derek \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: London : Springer-Verlag London Limited, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.3 G65 2005 (1). Place hold Add to cart (remove)
	10.	A logical Approach to Philosophy [electronic resource] : Essays in Honour of Graham Solomon / edited by David Devidi, Tim Kenyon. by Devidi, David \| Kenyon, Tim \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Dordrecht : Springer, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: BC5 D48 2006 (1). Place hold Add to cart (remove)
	11.	The Age of Alternative Logics [electronic resource] : Assessing Philosophy of Logic and Mathematics Today / edited by Johan Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser. by Benthem, Johan \| Heinzmann, Gerhard \| Rebuschi, Manuel \| Visser, Henk \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Dordrecht : Springer, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: BC135 B46 2006 (1). Place hold Add to cart (remove)
	12.	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes. by Biere, Armin \| Gomes, Carla P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available : Add to cart (remove)
	13.	Discrete Thoughts [electronic resource] : Essays on Mathematics, Science and Philosophy / by Mark Kac, Gian-Carlo Rota, Jacob T. Schwartz ; edited by Peter Renz. by Kac, Mark \| Rota, Gian-Carlo \| Schwartz, Jacob T \| Renz, Peter \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Birkhäuser Boston, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA7 K33 2008 (1). Place hold Add to cart (remove)
	14.	Constructive Negations and Paraconsistency [electronic resource] / by Sergei P. Odintsov. by Odintsov, Sergei P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.56 O35 2008 (1). Place hold Add to cart (remove)
	15.	Field Arithmetic [electronic resource] / by Michael D. Fried, Moshe Jarden. by Fried, Michael D \| Jarden, Moshe \| SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA247 F75 2006 (1). Place hold Add to cart (remove)
	16.	New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. Barry \| Löwe, Benedikt \| Sorbi, Andrea \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer-Verlag New York, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.59 N49 2008 (1). Place hold Add to cart (remove)
	17.	Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Hutter, Dieter \| Stephan, Werner \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A96 H88 2005 (1). Place hold Add to cart (remove)
	18.	Techniques of Constructive Analysis [electronic resource] / by Douglas S. Bridges, Luminiţa Simona Vîţă. by Bridges, Douglas S \| Vîţă, Luminiţa Simona \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media, LLC, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA300 B69 2006 (1). Place hold Add to cart (remove)
	19.	104 Number Theory Problems [electronic resource] : From the Training of the USA IMO Team / by Titu Andreescu, Dorin Andrica, Zuming Feng. by Andreescu, Titu \| Andrica, Dorin \| Feng, Zuming \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Birkhäuser Boston, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA241 A53 2007 (1). Place hold Add to cart (remove)
	20.	The Congruences of a Finite Lattice [electronic resource] : A Proof-by-Picture Approach / by George Grätzer. by Grätzer, George \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Boston, MA : Birkhäuser Boston, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA171.5 G73 2006 (1). Place hold Add to cart (remove)

Koha online

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 67 results.