Quantifier-free induction schema and the least element principle
L.D. Beklemishev
Quantifier-free induction schema and the least element principle
In het kort
ISBN-13
9789039334102
Uitgever
Bibliografisch
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01L.D. Beklemishev
Herkomst
Werk-id (NSTC)501203872
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 501203872 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026