|
141.
|
Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova.
by Löwe, Benedikt | Normann, Dag | Soskov, Ivan | Soskova, Alexandra | 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
|
|
142.
|
Apartness and Uniformity [electronic resource] : A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă.
by Bridges, Douglas S | Vîţă, Luminiţa Simona | 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
|
|
143.
|
Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser.
by Kaiser, Łukasz | 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
|
|
144.
|
Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski.
by Murlak, Filip | Sankowski, Piotr | 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
|
|
145.
|
The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki.
by Kanazawa, Makoto | Kornai, András | Kracht, Marcus | Seki, Hiroyuki | 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
|
|
146.
|
Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju.
by Ditmarsch, Hans | Lang, Jérôme | Ju, Shier | 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
|
|
147.
|
Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.
by Kuich, Werner | Rahonis, George | 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
|
|
148.
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso | Morgan, Carroll | 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
|
|
149.
|
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
|
|
150.
|
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
|
|
151.
|
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
|
|
152.
|
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
|
|
153.
|
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
|
|
154.
|
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
|
|
155.
|
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
|
|
156.
|
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
|
|
157.
|
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
|
|
158.
|
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
|
|
159.
|
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
|
|
160.
|
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
|