Rob Nederpelt Herman Geuvers Type Theory And Formal Proof (gebundene

Rob Nederpelt Herman Ge Type Theory And Formal (gebundene Ausgabe) (us

Type Theory And Formal Proof: An Introduction By Rob Nederpelt

Kothanda Umamageswaran (u. A.) | Formal Semantics And Proof Techniques

Applied Proof Theory: Proof Interpretations And Their Use In

Herman Meadows Proof Of Loss (taschenbuch)

Principles And Proofs: Aristotle's Theory Of Demonstrative Science

Daniel Fretwell | Class Field Theory: Proofs And Applications |

Proof Theory And Algebra In Logic 5583

H. Brakhage | Automata Theory And Formal Languages | Taschenbuch |

Formal Semantics And Proof Techniques For Optimizing Vhdl Models 2142

Mathematical Problems And Proofs Combinatorics, Number Theory, And

Georg Gottlob (u. A.) | Computational Logic And Proof Theory |

Problems And Proofs In Real Analysis: Theory Of Measure And

Telepathy: Its Theory, Facts, And Proof By Atkinson, William Walker

Gianluca Stefanucci Rob Nonequilibrium Many-body Theory Of (gebundene