|
|
1301.
|
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
|
|
|
1302.
|
Argument Structure: [electronic resource] : Representation and Theory / by James B. Freeman.
by Freeman, James B | 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
|
|
|
1303.
|
Vagueness: A Guide [electronic resource] / edited by Giuseppina Ronzitti.
by Ronzitti, Giuseppina | 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
|
|
|
1304.
|
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
|
|
|
1305.
|
Handbook of Philosophical Logic [electronic resource] : Volume 16 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M | Guenthner, Franz | 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
|
|
|
1306.
|
Regular Nanofabrics in Emerging Technologies [electronic resource] : Design and Fabrication Methods for Nanoscale Digital Circuits / by M. Haykel Ben Jamaa.
by Ben Jamaa, M. Haykel | 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
|
|
|
1307.
|
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
|
|
|
1308.
|
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
|
|
|
1309.
|
Controversy as News Discourse [electronic resource] / by Peter A. Cramer.
by Cramer, Peter A | 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
|
|
|
1310.
|
Reasoning about Preference Dynamics [electronic resource] / by Fenrong Liu.
by Liu, Fenrong | 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
|
|
|
1311.
|
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
|
|
|
1312.
|
Paradoxes [electronic resource] / by Piotr Łukowski.
by Łukowski, Piotr | 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
|
|
|
1313.
|
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
|
|
|
1314.
|
Giving Reasons [electronic resource] : A Linguistic-Pragmatic Approach to Argumentation Theory / by Lilian Bermejo Luque.
by Bermejo Luque, Lilian | 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
|
|
|
1315.
|
Interpreted Languages and Compositionality [electronic resource] / by Marcus Kracht.
by Kracht, Marcus | 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
|
|
|
1316.
|
Trust Networks for Recommender Systems [electronic resource] / by Patricia Victor, Chris Cornelis, Martine de Cock.
by Victor, Patricia | Cornelis, Chris | de Cock, Martine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press, 2011Online access: Click here to access online Availability: No items available
|
|
|
1317.
|
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
|
|
|
1318.
|
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
|
|
|
1319.
|
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
|
|
|
1320.
|
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
|
