লোডিং...
Deducibility and decidability /
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Printed Book |
| ভাষা: | English |
| প্রকাশিত: |
London ; New York :
Routledge,
1990.
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | http://www.loc.gov/catdir/enhancements/fy0648/89027524-d.html |
| LEADER | 01129pam a2200229 a 4500 | ||
|---|---|---|---|
| 008 | 890908s1990 enka b 001 0 eng | ||
| 020 | |a 0415000335 |c £ 40.00 | ||
| 082 | 0 | 0 | |a 160 |2 20 |
| 100 | 1 | |a Gill, R. R. Rockingham | |
| 245 | 1 | 0 | |a Deducibility and decidability / |c R.R. Rockingham Gill. |
| 260 | |a London ; |a New York : |b Routledge, |c 1990. | ||
| 300 | |a viii, 162 p. : |b ill. ; |c 23 cm. | ||
| 504 | |a Includes bibliographical references (p. 150-155) and index. | ||
| 520 | |a This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics. | ||
| 650 | 0 | |a Decidability (Mathematical logic) | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 856 | 4 | 2 | |u http://www.loc.gov/catdir/enhancements/fy0648/89027524-d.html |
| 906 | |a 7 |b cbc |c orignew |d 1 |e ocip |f 19 |g y-gencatlg | ||
| 942 | |c BK | ||
| 955 | |a pc14 to hr00 09-08-89; hr09 09-12-89; hr08 09-13-89; hr03 09-18-89; CIP ver. nb08 09-08-92 | ||
| 999 | |c 276053 |d 276053 | ||
| 952 | |0 0 |1 0 |2 ddc |4 0 |6 160_000000000000000_GIL_D |7 0 |9 310574 |a PHL |b PHL |c ST1 |d 2015-08-03 |i 3050 |l 0 |o 160 GIL/D |p PHL3050 |r 2015-08-03 |y BK |k £ 40.00 | ||