|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
ocn884584295 |
| 003 |
OCoLC |
| 005 |
20240909213021.0 |
| 006 |
m o d |
| 007 |
cr cn||||||||| |
| 008 |
750507s1952 riu ob 000 0 eng d |
| 040 |
|
|
|a E7B
|b eng
|e rda
|e pn
|c E7B
|d OCLCO
|d EBLCP
|d OCLCF
|d OCLCQ
|d AU@
|d OCLCQ
|d VT2
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|d SXB
|d OCLCQ
|
| 020 |
|
|
|a 9780821898895
|q (e-book)
|
| 020 |
|
|
|a 0821898892
|q (e-book)
|
| 020 |
|
|
|z 0821812106
|
| 020 |
|
|
|z 9780821812105
|
| 035 |
|
|
|a (OCoLC)884584295
|
| 050 |
|
4 |
|a QA303
|b .K54 1952eb
|
| 049 |
|
|
|a HCDD
|
| 100 |
1 |
|
|a Kleene, Stephen Cole,
|d 1909-1994,
|e author.
|1 https://id.oclc.org/worldcat/entity/E39PBJt8m48C4bXHvjmFPXbw4q
|
| 245 |
1 |
0 |
|a Two papers on the predicate calculus /
|c by S.C. Kleene.
|
| 264 |
|
1 |
|a Providence :
|b American Mathematical Society,
|c 1952.
|
| 300 |
|
|
|a 1 online resource (72 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 Memoirs of the American Mathematical Society ;
|v number 10
|
| 500 |
|
|
|a Cover title.
|
| 500 |
|
|
|a "Second printing, with revision, 1967."
|
| 504 |
|
|
|a Includes bibliographical references (pages 67-68).
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
|
|a PERMUTABILITY OF INFERENCES IN GENTZEN'S CALCULI LK AND LJ -- 1. THE FORMAL SYSTEM G -- 2. RELATIONSHIPS IN A PROOF IN G -- 3 . INTERCHANGE OF ADJACENT LOGICAL INFERENCES -- 4. PERMUTABILITY OF LOGICAL INFERENCES -- FINITE AXIOMATIZABILITY OF THEORIES IN THE PREDICATE CALCULUS USING ADDITIONAL PREDICATE SYMBOLS -- 1. H-NUMBERS -- 2. A PRIMITIVE RECURSIVE ENUMERATION OF H-NUMBERS -- 3 . THE SYSTEM S[sub(1)] -- 4. THE SYSTEMS S[sub(2)], S[sub(3)] -- 5. THE SYSTEMS S[sub(0)], S -- 6. A NON-CONSTRUCTIVE PROOF OF CONSISTENCY FOR THE CLASSICAL CASE.
|
| 505 |
8 |
|
|a 7. EFFECT OF THE EQUALITY AXIOMS WITH A NEW EQUALITY SYMBOL -- 8. EFFECT OF THE AXIOMS OF S[sub(1)] -- 9. EFFECT OF THE AXIOM OF S[sub(2)] -- 10. EFFECT OF THE AXIOMS OF S[sub(3)] -- 11. CONCLUSION OF THE CONSISTENCY PROOF -- BIBLIOGRAPHY.
|
| 650 |
|
0 |
|a Calculus.
|
| 650 |
|
0 |
|a Predicate calculus.
|
| 650 |
|
7 |
|a calculus.
|2 aat
|
| 650 |
|
7 |
|a Calculus
|2 fast
|
| 650 |
|
7 |
|a Predicate calculus
|2 fast
|
| 758 |
|
|
|i has work:
|a Two papers on the predicate calculus (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGKpt39tVYvdqDMBFCdcdP
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Kleene, Stephen Cole.
|t Two papers on the predicate calculus.
|d Providence : American Mathematical Society, 1952
|h 68 ; 26 cm
|k Memoirs of the American Mathematical Society ; no. 10
|z 9780821812105
|
| 830 |
|
0 |
|a Memoirs of the American Mathematical Society ;
|v no. 10.
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=3113537
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|