- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2198-2759
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Provability logic: models within models in Peano Arithmetic ; day:7 ; month:5 ; year:2022 ; pages:1-17
Bollettino dell'Unione Matematica Italiana / Unione Matematica Italiana ; (7.5.2022), 1-17
- Urheber
-
Berarducci, Alessandro
Mamino, Marcello
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s40574-022-00325-9
- URN
-
urn:nbn:de:101:1-2022071520360806680228
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Berarducci, Alessandro
- Mamino, Marcello
- SpringerLink (Online service)
Ähnliche Objekte (12)
Strong models of arithmetic
Paradox, arithmetic and nontransitive logic
Automating the logic synthesis of Arithmetic-Logic-Units
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
iNALU: Improved Neural Arithmetic Logic Unit
Chebyshev model arithmetic for factorable functions
Design issues of arithmetic structures in adiabatic logic
A New Pedagogical Model for Teaching Arithmetic
A New Pedagogical Model for Teaching Arithmetic
Action models in inquisitive logic
Logic synthesis with Boolean model
From arithmetic to metaphysics : a path through philosophical logic
Strong models of arithmetic
Paradox, arithmetic and nontransitive logic
Automating the logic synthesis of Arithmetic-Logic-Units
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
iNALU: Improved Neural Arithmetic Logic Unit
Chebyshev model arithmetic for factorable functions
Design issues of arithmetic structures in adiabatic logic
A New Pedagogical Model for Teaching Arithmetic
A New Pedagogical Model for Teaching Arithmetic
Action models in inquisitive logic
Logic synthesis with Boolean model
From arithmetic to metaphysics : a path through philosophical logic
Strong models of arithmetic
Paradox, arithmetic and nontransitive logic
Automating the logic synthesis of Arithmetic-Logic-Units
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
iNALU: Improved Neural Arithmetic Logic Unit
Chebyshev model arithmetic for factorable functions
Design issues of arithmetic structures in adiabatic logic
A New Pedagogical Model for Teaching Arithmetic
A New Pedagogical Model for Teaching Arithmetic
Action models in inquisitive logic
Logic synthesis with Boolean model