in this section we're going to cover what we call the fundamental theorem of calculus and as you can guess with a title like that it's pretty darn important basically what we've done in the last ...

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...