Proof Search in a Gentzen-like system of first-order logic
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
| eBook bestellen: |
|
| Buch ausleihen: | zum Bestellen einloggen |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2546867 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Schreiber, J. | |
| 245 | 1 | 0 | |a Proof Search in a Gentzen-like system of first-order logic |
| 246 | 3 | |a SCHREIBER,J. | |
| 500 | |a T 20.492/AM,7412 -- SCHREIBER,J.: -- Proof Search in a Gentzen-like system of -- first-order logic.Um 1975 -- s.BIBEL,Wolfgang. | ||
| 852 | |c T 20.492/AM,7412 | ||
| 999 | |a Verweis |b SCHREIBER, J. |c BIBEL, Wolfgang | ||
| 591 | |a description: Proof Search in a Gentzenlike System offirstorder logic.üm 1975s. BIBEL,, Wolf gang. |a signature: T 20.492AMf7412 |a author: SCHREIBER, J. |a published: 1975 |