Is Leibnizian Calculus Embeddable in First Order Logic?
- Błaszczyk, P.
- Kanovei, V.
- Katz, K.U.
- Katz, M.G.
- Kudryk, T.
- Mormann, T.
- Sherry, D.
ISSN: 1572-8471, 1233-1821
Datum der Publikation: 2017
Ausgabe: 22
Nummer: 4
Seiten: 717-731
Art: Artikel
ISSN: 1572-8471, 1233-1821
Datum der Publikation: 2017
Ausgabe: 22
Nummer: 4
Seiten: 717-731
Art: Artikel