|
|
1261.
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
by Jouannaud, Jean-Pierre | Shao, Zhong | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1262.
|
Software Engineering, Business Continuity, and Education [electronic resource] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings / edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang.
by Kim, Tai-hoon | Adeli, Hojjat | Kim, Haeng-kon | Kang, Heau-jo | Kim, Kyung Jung | Kiumi, Akingbehin | Kang, Byeong-Ho | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
1263.
|
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau.
by Beziau, Jean-Yves | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
|
|
|
1264.
|
Set Theory [electronic resource] : Centre de Recerca Matemàtica Barcelona, 2003–2004 / edited by Joan Bagaria, Stevo Todorcevic.
by Bagaria, Joan | Todorcevic, Stevo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2006Online access: Click here to access online Availability: No items available
|
|
|
1265.
|
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau.
by Beziau, Jean-Yves | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2007Online access: Click here to access online Availability: No items available
|
|
|
1266.
|
Completeness Theory for Propositional Logics [electronic resource] / by Witold A. Pogorzelski, Piotr Wojtylak.
by Pogorzelski, Witold A | Wojtylak, Piotr | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2008Online access: Click here to access online Availability: No items available
|
|
|
1267.
|
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu.
by Diaconescu, Răzvan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2008Online access: Click here to access online Availability: No items available
|
|
|
1268.
|
Mathematical Logic [electronic resource] : Foundations for Information Science / by Wei Li.
by Li, Wei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2010Online access: Click here to access online Availability: No items available
|
|
|
1269.
|
Passione per Trilli [electronic resource] : Alcune idee dalla matematica / by Roberto Lucchetti.
by Lucchetti, Roberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2007Online access: Click here to access online Availability: No items available
|
|
|
1270.
|
Guida alla teoria degli insiemi [electronic resource] / by Gabriele Lolli.
by Lolli, Gabriele | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2008Online access: Click here to access online Availability: No items available
|
|
|
1271.
|
Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi.
by Lupacchini, Rossella | Corsi, Giovanna | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2008Online access: Click here to access online Availability: No items available
|
|
|
1272.
|
Un mondo di idee [electronic resource] : La matematica ovunque / edited by Ciro Ciliberto, Roberto Lucchetti.
by Ciliberto, Ciro | Lucchetti, Roberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2011Online access: Click here to access online Availability: No items available
|
|
|
1273.
|
Giuseppe Peano between Mathematics and Logic [electronic resource] : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3,2008 / edited by Fulvia Skof.
by Skof, Fulvia | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2011Online access: Click here to access online Availability: No items available
|
|
|
1274.
|
Logica: Metodo Breve [electronic resource] / by Daniele Mundici.
by Mundici, Daniele | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2011Online access: Click here to access online Availability: No items available
|
|
|
1275.
|
The Golden Age of Polish Philosophy [electronic resource] : Kazimierz Twardowski’s Philosophical Legacy / edited by Sandra Lapointe, Jan Wolénski, Mathieu Marion, Wioletta Miskiewicz.
by Lapointe, Sandra | Wolénski, Jan | Marion, Mathieu | Miskiewicz, Wioletta | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
|
1276.
|
Preference Change [electronic resource] : Approaches from Philosophy, Economics and Psychology / edited by Till Grüne-Yanoff, Sven Ove Hansson.
by Grüne-Yanoff, Till | Hansson, Sven Ove | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
|
1277.
|
Fallacies and Judgments of Reasonableness [electronic resource] : Empirical Research Concerning the Pragma-Dialectical Discussion Rules / by Frans Eemeren, Bart Garssen, Bert Meuffels.
by Eemeren, Frans | Garssen, Bart | Meuffels, Bert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
|
1278.
|
Substantive Perspectivism [electronic resource] : An Essay on Philosophical Concern with Truth / by Bo Mou.
by Mou, Bo | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
|
1279.
|
Logic and Philosophy of Mathematics in the Early Husserl [electronic resource] / by Stefania Centrone.
by Centrone, Stefania | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
1280.
|
EPSA Philosophical Issues in the Sciences [electronic resource] : Launch of the European Philosophy of Science Association / edited by Mauricio Suárez, Mauro Dorato, Miklós Rédei.
by Suárez, Mauricio | Dorato, Mauro | Rédei, Miklós | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
