Livija Maliaukienė

From MaRDI portal
Person:1382696

Available identifiers

zbMath Open maliaukiene.livijaWikidataQ102349620 ScholiaQ102349620MaRDI QIDQ1382696

List of research outcomes





PublicationDate of PublicationType
About the some conditions of the replaceability of the double induction2016-06-10Paper
About the equivalent replaceability of the double induction axiom2016-05-30Paper
https://portal.mardi4nfdi.de/entity/Q30804162011-03-10Paper
https://portal.mardi4nfdi.de/entity/Q47986382003-03-11Paper
The power of some forms of the induction axiom in the multiplicative arithmetic2001-05-17Paper
The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic1998-04-01Paper
The provability of certain sequents in additive arithmetic1996-10-29Paper
https://portal.mardi4nfdi.de/entity/Q34899931990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34832831990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34832821990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37832701987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37605461985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36777621983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33187741983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33203681983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36632921982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36632931982-01-01Paper

Research outcomes over time

This page was built for person: Livija Maliaukienė

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1382696&oldid=6196326"
Powered by MediaWiki