Mathematical Proof Theory by Edited by Paul F. Kisak
26,80 €
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
Jetzt bei Ebay:
