Works matching IS 12331821 AND DT 2017 AND VI 22 AND IP 4


Results: 12
    1

    Is Leibnizian Calculus Embeddable in First Order Logic?

    Published in:
    Foundations of Science, 2017, v. 22, n. 4, p. 717, doi. 10.1007/s10699-016-9495-6
    By:
    • Błaszczyk, Piotr;
    • Kanovei, Vladimir;
    • Katz, Karin;
    • Katz, Mikhail;
    • Kudryk, Taras;
    • Mormann, Thomas;
    • Sherry, David
    Publication type:
    Article
    2
    3
    4
    5
    6

    Why Axiomatize?

    Published in:
    Foundations of Science, 2017, v. 22, n. 4, p. 695, doi. 10.1007/s10699-016-9493-8
    By:
    • Bunge, Mario
    Publication type:
    Article
    7
    8
    9
    10
    11
    12