- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
How to make (mathematical) assertions with directives ; volume:202 ; number:5 ; day:17 ; month:10 ; year:2023 ; pages:1-16 ; date:11.2023
Synthese; 202, Heft 5 (17.10.2023), 1-16, 11.2023
- Creator
-
Caponetto, Laura
San Mauro, Luca
Venturi, Giorgio
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11229-023-04360-7
- URN
-
urn:nbn:de:101:1-2024031113452804248669
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Caponetto, Laura
- San Mauro, Luca
- Venturi, Giorgio
- SpringerLink (Online service)
Other Objects (12)
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
C. Assertions
Information Directives
Special directives
OMGBS Directives
Dismantling Directives
Directives 1945
Proxy Assertions and Agency: The Case of Machine-Assertions
Assertions and recursions
Denazification Directives - Orders
Directives etc. II
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
C. Assertions
Information Directives
Special directives
OMGBS Directives
Dismantling Directives
Directives 1945
Proxy Assertions and Agency: The Case of Machine-Assertions
Assertions and recursions
Denazification Directives - Orders
Directives etc. II
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
C. Assertions
Information Directives
Special directives
OMGBS Directives
Dismantling Directives
Directives 1945
Proxy Assertions and Agency: The Case of Machine-Assertions
Assertions and recursions
Denazification Directives - Orders