| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Mi 4500 |
| 001 |
in00003580939 |
| 006 |
m o d |
| 007 |
cr mnu---uuaaa |
| 008 |
130220s2000 ne o 000 0 eng |
| 005 |
20260421171142.1 |
| 020 |
|
|
|a 9789401727969 (electronic bk.)
|
| 020 |
|
|
|a 9401727961 (electronic bk.)
|
| 020 |
|
|
|z 9789048155538
|
| 020 |
|
|
|z 9048155533
|
| 020 |
|
|
|z 9401727961
|
| 035 |
|
|
|a (OCoLC)851369886
|
| 040 |
|
|
|a AU@
|b eng
|c AU@
|d GW5XE
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a BC1-199
|
| 072 |
|
7 |
|a HPL
|2 bicssc
|
| 072 |
|
7 |
|a PHI011000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 160
|2 23
|
| 100 |
1 |
|
|a Hendricks, Vincent F.
|
| 245 |
1 |
0 |
|a Proof Theory :
|b History and Philosophical Significance /
|c edited by Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen.
|
| 264 |
|
1 |
|a Dordrecht :
|b Springer Netherlands,
|c 2000.
|
| 300 |
|
|
|a 1 online resource (xii, 257 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Synthese library : studies in epistemology, logic, methodology and philosophy of science ;
|v 292
|
| 520 |
|
|
|a The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysis of the philosophical foundations of mathematics since Hilbert's original program to its modern, highly articulated form. This volume is a collection of papers presented at the conference. It can be read with profit and pleasure by philosophers, mathematicians, computer scientists and scholars with no professional training in proof theory, provided they have a general knowledge of foundational issues.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Philosophy (General)
|
| 650 |
|
0 |
|a Logic.
|
| 650 |
|
0 |
|a Science
|x Philosophy.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Pedersen, Stig Andur.
|
| 700 |
1 |
|
|a Jørgensen, Klaus Frovin.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 776 |
1 |
8 |
|i Print version:
|z 9789048155538
|
| 830 |
|
0 |
|a Synthese library ;
|v 292.
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-94-017-2796-9
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 9b061fc2-bfce-304b-8d2b-fa1670e5a5d2
|i 83861709-6745-395a-a95b-8bc0ac22423b
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e BC1-199
|h Library of Congress classification
|
| 998 |
f |
f |
|a BC1-199
|t 0
|l Available Online
|