About the equivalent replaceability of the double induction axiom

Maliaukienė, Livija

In: Lietuvos Matematikos Rinkinys, Jg. 50 (2009-12-01), Heft proc. LMS

Online academicJournal

Zugriff:

View record in DOAJ (Volltext)

In this paper the first order predicate calculus with the axioms of additive arithmetic is investigated. The conditions of the equivalent replaceability of a double induction axiom is presented.

Titel:	About the equivalent replaceability of the double induction axiom
Autor/in / Beteiligte Person:	Maliaukienė, Livija
Link:	View record in DOAJ (Volltext) https://www.journals.vu.lt/LMR/article/view/17973 https://doaj.org/toc/0132-2818 https://doaj.org/toc/2335-898X
Zeitschrift:	Lietuvos Matematikos Rinkinys, Jg. 50 (2009-12-01), Heft proc. LMS
Veröffentlichung:	Vilnius University Press, 2009
Medientyp:	academicJournal
ISSN:	0132-2818 (print) ; 2335-898X (print)
DOI:	10.15388/LMR.2009.45
Schlagwort:	sequent calculus additive arithmetic double induction axiom Mathematics QA1-939
Sonstiges:	Nachgewiesen in: Directory of Open Access Journals Sprachen: English, Lithuanian Collection: LCC:Mathematics Document Type: article File Description: electronic resource Language: English ; Lithuanian

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.