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
Année de publication: 2017
Volumen: 22
Número: 4
Pages: 717-731
Type: Article
ISSN: 1572-8471, 1233-1821
Année de publication: 2017
Volumen: 22
Número: 4
Pages: 717-731
Type: Article