Search alternatives:
logica library » logging library, log4j library, modelica library
logger library » larger library, roger library, logging library
Cover Image
Read Now

1
Published 2009
Springer Netherlands
Table of Contents: “...From Logic to Mathematical Philosophy -- Commutativity of Quantifiers in Varying-Domain Kripke...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “...; Michael Arndt and Luca Tranchini -- Chapter 3. The Knowability Paradox in the light of a Logic...”
Cover Image
Read Now

3
by Wansing, Heinrich
Published 1998
Springer Netherlands
Table of Contents: “...One / Introduction -- Two / Sequents Generalized -- Three / Display Logic -- Four / Properly...”
Cover Image
Read Now

4
by Shramko, Yaroslav, Wansing, Heinrich
Published 2012
Springer Netherlands
Subjects: “...Mathematical logic...”