Loading...
Completeness compactness and undecidability An introduction to mathematical logic /
| Hovedforfatter: | |
|---|---|
| Sprog: | Undetermined |
| Udgivet: |
New Delhi :
Prentice Hall ,
1978.
|
| LEADER | 00513nam a2200133Ia 4500 | ||
|---|---|---|---|
| 001 | 78073 | ||
| 008 | 170722s9999 xx 000 0 und d | ||
| 100 | |a Manaster, Alfred B. | ||
| 245 | |a Completeness compactness and undecidability |b An introduction to mathematical logic / | ||
| 260 | |a New Delhi : |b Prentice Hall , |c 1978. | ||
| 300 | |a vi+154 |c 23cms | ||
| 942 | |c GEN | ||
| 999 | |c 163498 |d 163498 | ||
| 952 | |0 0 |1 0 |4 0 |6 R_14_000000000000000_L81 |7 0 |8 LC1 |9 227735 |a LIB |b LIB |d 2017-08-12 |h LC1 |o R14 L81 |p G25881 |r 2017-08-12 |v 15.00 |w 2017-08-12 |y GEN | ||