Proof Search in a Gentzen-like system of first-order logic
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Emne beskrivelse: | T 20.492/AM,7412 -- SCHREIBER,J.: -- Proof Search in a Gentzen-like system of -- first-order logic.Um 1975 -- s.BIBEL,Wolfgang. |
|---|