Vol. 2. : Diritto e pregiudizio

• Record Nr.: UNISA990001239470203316
• Pubbl/distr/stampa: Torino : G. Giappichelli, copyr. 2007
• ISBN: 978-88-348-6504-0
• Descrizione fisica: 2 v. ; 24 cm
• Collana: Grandi temi del diritto
• Disciplina: 346.03
• Soggetti: Danni -- Responsabilità civile; Responsabilità extracontrattuale
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Two papers on the predicate calculus / / S.C. Kleene

• Record Nr.: UNINA9910788767203321
• Autore: Kleene Stephen Cole <1909-1994, >
• Pubbl/distr/stampa: Providence : , : American Mathematical Society, , 1952
• ISBN: 0-8218-9889-2
• Edizione: [Rev.]
• Descrizione fisica: 1 online resource (72 pages)
• Collana: Memoirs of the American Mathematical Society ; ; number 10
• Soggetti: Calculus; Predicate calculus
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Cover title.; "Second printing, with revision, 1967."
• Nota di bibliografia: Bibliography: pages [67]-68.
• Nota di contenuto: ""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""; ""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""