Roman Kuznets (u. A.) | Logics Of Proofs And Justifications |

Logics Of Proofs And Justifications By Kuznets, Roman

Thomas Studer Roman Ku Logics Of Proofs And Justifica (taschenbuch)

A Proof Theory For Description Logics 1753

Arnon Avron On Semantics And Proof Theory Of Non-classical Logics 6312

A Proof Theory For Description Logics | Alexandre Rademaker | Englisch

Michal Krynicki (u. A.) | Quantifiers: Logics, Models And Computation

Shier Ju (u. A.) | Nonclassical Logics And Their Applications |

Zsuzsa Millei (u. A.) | Logics Of Socialist Education | Buch |

Karl Schlechta (u. A.) | Conditionals And Modularity In General Logics

Logics In Computer Science A Study On Extensions Of Temporal And

Richard S. Millman (u. A.) | Problems And Proofs In Numbers And

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

Jacques Julliand (u. A.) | Tests And Proofs | Taschenbuch | Englisch

Michael Norrish (u. A.) | Certified Programs And Proofs | Taschenbuch

Knowledge, Proof And Dynamics | Fenrong Liu (u. A.) | Taschenbuch |