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

Jacob T. Schwartz (u. A.) | Computational Logic And Set Theory | Buch

Proof Theory And Algebra In Logic 5583

F. Sadri (u. A.) | Computational Logic: Logic Programming And Beyond |

Computational Logic And Set Theory Applying Formalized Logic To

Hiroakira Ono | Proof Theory And Algebra In Logic | Taschenbuch |

David Barker-plummer (u. A.) | Language, Proof, And Logic |

George Tourlakis | Lectures In Logic And Set Theory | Buch | Englisch

George Tourlakis | Lectures In Logic And Set Theory, Volume 2 |

Computational Logic And Quantum Logic 5004

Guo-qiang Zhang (u. A.) | Domain Theory, Logic And Computation |

Language, Proof, And Logic Second Edition David Barker-plummer (u. A.)

Alf Van Der Poorten (u. A.) | Computational Algebra And Number Theory

Heinrich Wansing | Proof Theory Of Modal Logic | Buch | Englisch

Thomas F. George (u. A.) | Computational Nanomedicine And

George Bebis (u. A.) | Mathematical And Computational Oncology |