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
Año de publicación: 2017
Volumen: 22
Número: 4
Páginas: 717-731
Tipo: Artículo
ISSN: 1572-8471, 1233-1821
Año de publicación: 2017
Volumen: 22
Número: 4
Páginas: 717-731
Tipo: Artículo