|
161.
|
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
|
|
162.
|
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
|
|
163.
|
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
|
|
164.
|
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
|
|
165.
|
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
|
|
166.
|
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
|
|
167.
|
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
|
|
168.
|
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
|
|
169.
|
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
|
|
170.
|
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
|
|
171.
|
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
|
|
172.
|
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
|
|
173.
|
Refinement in Z and Object-Z [electronic resource] : Foundations and Advanced Applications / by John Derrick, Eerke A. Boiten.
by Derrick, John [author.] | Boiten, Eerke A [author.] | SpringerLink (Online service). Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
174.
|
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
|
|
175.
|
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
|
|
176.
|
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
|
|
177.
|
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
|
|
178.
|
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
|
|
179.
|
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
|
|
180.
|
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
|