|
141.
|
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
|
|
142.
|
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
|
|
143.
|
Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak.
by Indrzejczak, Andrzej | 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
|
|
144.
|
Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner.
by Braüner, Torben | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
145.
|
Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek.
by Orlowska, Ewa | Golińska Pilarek, Joanna | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
146.
|
Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
by van Benthem, Johan | Gupta, Amitabha | Parikh, Rohit | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
147.
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms [electronic resource] : Essays in Honour of John L. Bell / edited by David DeVidi, Michael Hallett, Peter Clarke.
by DeVidi, David | Hallett, Michael | Clarke, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
148.
|
Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz.
by Leitsch, Alexander | Baaz, Matthias | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
149.
|
Foundational Theories of Classical and Constructive Mathematics [electronic resource] / edited by Giovanni Sommaruga.
by Sommaruga, Giovanni | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
150.
|
Games, Norms and Reasons [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit.
by van Benthem, Johan | Gupta, Amitabha | Pacuit, Eric | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
151.
|
Advanced Łukasiewicz calculus and MV-algebras [electronic resource] / by D. Mundici.
by Mundici, D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
152.
|
Strict Finitism and the Logic of Mathematical Applications [electronic resource] / by Feng Ye.
by Ye, Feng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
153.
|
Treatise on Intuitionistic Type Theory [electronic resource] / by Johan Georg Granström, Johan Georg Granström.
by Granström, Johan Georg | Granström, Johan Georg | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
154.
|
Set Theory [electronic resource] : With an Introduction to Real Point Sets / by Abhijit Dasgupta.
by Dasgupta, Abhijit [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Birkhäuser, 2014Online access: Click here to access online Availability: No items available
|
|
155.
|
Axiomatic Method and Category Theory [electronic resource] / by Andrei Rodin.
by Rodin, Andrei [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
156.
|
Leśniewski's Systems of Logic and Foundations of Mathematics [electronic resource] / by Rafal Urbaniak.
by Urbaniak, Rafal [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
157.
|
Non-commutative Multiple-Valued Logic Algebras [electronic resource] / by Lavinia Corina Ciungu.
by Ciungu, Lavinia Corina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
158.
|
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals [electronic resource] / by Anna Horská.
by Horská, Anna [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
159.
|
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics [electronic resource] / by Ulianov Montano.
by Montano, Ulianov [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
160.
|
Kripke’s Worlds [electronic resource] : An Introduction to Modal Logics via Tableaux / by Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber.
by Gasquet, Olivier [author.] | Herzig, Andreas [author.] | Said, Bilal [author.] | Schwarzentruber, François [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2014Online access: Click here to access online Availability: No items available
|