Lanean...
Logic and Proof
| Egile nagusia: | Bittnger, Marvin L |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
California
Addison-weslen publishing company
1970
|
Antzeko izenburuak
-
Logic and Proof/
nork: Bittinger, Marvin L.
Argitaratua: (1970) -
Logic and proof
nork: Bittinger, Marvin L
Argitaratua: (1970) -
Logic and proof techniques/
nork: Eberle, Rolf
Argitaratua: (1996) -
Logical introduction to proof /
nork: Cunningham, Daniel W.
Argitaratua: (2012) -
Logical founations of proof complexity
nork: Cook, Stephen, et al.
Argitaratua: (2010)