formele logica formal logic

Een wetenschappelijke theorie betreffende de logica, o.a. gebruikt om de correctheid van programma’s te bewijzen.