Concepedia

First-Order Logic According to Fitting.

Stefan Berghofer

Archive of formal proofs · 2007 · 21 citations · 0 references

Concepts