Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Propositional logic
Saved in:
Personal Name(s): | Gallier, J. H. |
---|---|
Imprint: |
New York, NY :
Harper and Row,
1986.
|
Physical Description: |
XV, 511 S. |
Note: |
englisch |
ISBN: |
9780060422257 0060422254 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Harper and Row computer science and technology series ;
5. |
Subject (ZB): | |
Classification: | |
Shelf Classification: |
LEADER | 01061cam a2200313 n 4500 | ||
---|---|---|---|
001 | 127285 | ||
005 | 20041001101300.0 | ||
008 | r1986 | ||
020 | |a 0060422254 | ||
035 | |a (Sirsi) a113140 | ||
084 | 0 | |a MDB - Logics |2 ZB | |
084 | 1 | |a MDB - Logik |2 LS | |
245 | 0 | 0 | |a Logic for computer science : |b foundations of automatic theorem proving / |c Jean H. Gallier. |
260 | |a New York, NY : |b Harper and Row, |c 1986. | ||
300 | |a XV, 511 S. | ||
490 | 0 | |a Harper and Row computer science and technology series ; |v 5. | |
500 | |a englisch | ||
520 | |a Propositional logic | ||
520 | |a First order logic | ||
520 | |a Gentzen's cut elimination theorem and applications | ||
520 | |a Herbrand's theorem | ||
520 | |a Logic programming | ||
596 | |a 1 | ||
650 | 4 | |a PROLOG (programming language) | |
700 | 1 | |a Gallier, J. H. | |
900 | |a S 006443-0005'01' | ||
900 | |a MDB 022 | ||
908 | |a Monographie, Sammelwerk | ||
949 | |a MDB 022 |w LC |c 1 |i 1089102330 |d 17/10/2019 |e 18/9/2019 |l STACKS |m ZB |n 1 |r Y |s Y |t ZBB |u 25/3/2009 |x ZB-M |1 PRINT |