Теорема об устранимости сечения для GPContPComp: секвенциального исчисления, аксиоматизирующего пересечение паранепротиворечивой логики Розо
Gesponsert
averdo DE
36.43 EUR
Preis aktualisiert am: 11-03-2025 04:11:02
Gesponsert
Medimops DE
49.00 EUR
Preis aktualisiert am: 11-03-2025 04:11:02
Allgemein
Marke
Наталия Знаменская