MARC details
| 000 -Leader |
|---|
| Leader |
04008nam a22004815i 4500 |
| 001 - Numero di controllo |
|---|
| Numero di controllo |
189862 |
| 003 - Identificatore del numero di controllo |
|---|
| Identificatore del numero di controllo |
IT-RoAPU |
| 005 - Data e orario dell'ultima transazione |
|---|
| Data e orario dell'ultima transazione |
20221214232456.0 |
| 006 - Elementi di lunghezza fissa--Caratteristiche del materiale allegato--Informazione generale |
|---|
| Elementi di lunghezza fissa--Caratteristiche del materiale allegato--Informazione generale |
m|||||o||d|||||||| |
| 007 - Campo fisso per la descrizione fisica--informazione generale |
|---|
| Campo fisso per la descrizione fisica--informazione generale |
cr || |||||||| |
| 008 - Elementi di lunghezza fissa--Informazione generale |
|---|
| Elementi di lunghezza fissa--Informazione generale |
210729t20211951mau fo d z eng d |
| 020 ## - International Standard Book Number |
|---|
| ISBN (International Standard Book Number) |
9780674042469 |
| Qualifying information |
PDF |
| 024 7# - Altri identificatori standard |
|---|
| Numero standard o codice |
10.4159/9780674042469 |
| Fonte del numero o codice |
doi |
| 035 ## - Numero di controllo del sistema |
|---|
| Numero di controllo del sistema |
(DE-B1597)9780674042469 |
| 035 ## - Numero di controllo del sistema |
|---|
| Numero di controllo del sistema |
(DE-B1597)574584 |
| 040 ## - Fonte della catalogazione |
|---|
| Agenzia catalografica originale |
DE-B1597 |
| Lingua della catalogazione |
eng |
| Agenzia che fa la trascrizione |
DE-B1597 |
| Regole di descrizione |
rda |
| 050 #4 - Numero di chiamata (collocazione) della Library of Congress |
|---|
| Numero di classificazione |
BC135 -- Q48 1981eb |
| 072 #7 - Codice di categoria di soggetto |
|---|
| Codice di categoria di soggetto |
PHI000000 |
| Fonte |
bisacsh |
| 084 ## - Numero d’altra classificazione |
|---|
| Numero di classificazione |
online - DeGruyter |
| 100 1# - Accesso principale -- nome di persona |
|---|
| Nome di persona |
Quine, W. V. |
| Termine di ruolo |
autore |
| 245 10 - Formulazione del titolo |
|---|
| Titolo |
Mathematical Logic, Revised Edition / |
| Formulazioni di responsabilità, ecc. |
W. V. Quine. |
| 264 #1 - Produzione, pubblicazione, etc di un'opera |
|---|
| Luogo di produzione, pubblicazione, ecc. |
Cambridge, MA : |
| Nome del produttore, editore, ecc. |
Harvard University Press, |
| Data di produzione, specificazione, ecc. |
[2021] |
| 264 #4 - Produzione, pubblicazione, etc di un'opera |
|---|
| Data di produzione, specificazione, ecc. |
©1951 |
| 300 ## - Descrizione fisica |
|---|
| Estensione |
1 online resource (358 p.) |
| 336 ## - Tipo contenuto |
|---|
| Tipo contenuto |
|
| Tipo contenuto (codice) |
txt |
| Fonte |
rdacontent |
| 337 ## - Tipo formato |
|---|
| Tipo formato |
|
| Tipo formato (codice) |
c |
| Fonte |
rdamedia |
| 338 ## - Formato di trasporto |
|---|
| Formato di trasporto |
|
| Formato di trasporto (codice) |
cr |
| Fonte |
rdacarrier |
| 347 ## - Caratteristiche file digitale |
|---|
| Tipo file |
text file |
| Formato di codifica |
PDF |
| Fonte |
rda |
| 505 00 - Nota formattata di contenuto |
|---|
| Titolo |
Frontmatter -- |
| -- |
PREFACE, 1981 -- |
| -- |
PREFACE TO THE REVISED EDITION -- |
| -- |
PREFACE -- |
| -- |
CONTENTS -- |
| -- |
Introduction -- |
| -- |
CHAPTER ONE. Statelfzents -- |
| -- |
1. Conjunction, Alternation, and Denial -- |
| -- |
2. The Conditional -- |
| -- |
3. Iterated Composition -- |
| -- |
4. Use versus Mention -- |
| -- |
5. Statements about Statements -- |
| -- |
6. Quasi-Quotation -- |
| -- |
7. Parentheses and Dots -- |
| -- |
8. Reduction to Three Primitives -- |
| -- |
9. Reduction to One Primitive -- |
| -- |
10. Tautology -- |
| -- |
11. Selected Tautologous Forms -- |
| -- |
CHAPTER TWO. Quantification -- |
| -- |
12. The Quantifier -- |
| -- |
13. Formulae -- |
| -- |
14. Bondage, Freedom, Closure -- |
| -- |
15. Axioms of Quantification -- |
| -- |
16. Theorems -- |
| -- |
17. Metatheorems -- |
| -- |
18. Substitutivity of the Biconditional -- |
| -- |
19. Existential Quantification -- |
| -- |
20. Distribution of Quantifiers -- |
| -- |
21. Alphabetic Variance -- |
| -- |
CHAPTER THREE. Terms -- |
| -- |
22. Class and Member -- |
| -- |
23. Logical Formulae -- |
| -- |
24. Abstraction -- |
| -- |
25. Identity -- |
| -- |
26. Abstraction Resumed -- |
| -- |
27. Descriptions and Names -- |
| -- |
CHAPTER FOUR. Extended Theory of Classes -- |
| -- |
28. Stratification -- |
| -- |
29. Further Axioms of Membership -- |
| -- |
30. Substitutivity of Identity -- |
| -- |
31. Substitution for Variables -- |
| -- |
32. Further Consequences -- |
| -- |
33. Logical Product, Sum, Complement -- |
| -- |
34. Inclusion -- |
| -- |
35. Unit Classes -- |
| -- |
CHAPTER FIVE. Relations -- |
| -- |
36. Pairs and Relations -- |
| -- |
37. Abstraction of Relations -- |
| -- |
38. Converse, Image, Relative Product -- |
| -- |
39. The Ancestral -- |
| -- |
40. Functions -- |
| -- |
41. Abstraction of Functions -- |
| -- |
42. Identity and Membership as Relations -- |
| -- |
CHAPTER SIX. Number -- |
| -- |
43. Zero, One, Successor -- |
| -- |
44. Natural Numbers -- |
| -- |
45. Counter Sets -- |
| -- |
46. Finite and Infinite -- |
| -- |
47. Powers of Relations -- |
| -- |
48. Arithmetical Sum, Product, Power -- |
| -- |
49. Familiar Identities of Arithmetic -- |
| -- |
50. Ratios -- |
| -- |
51. Real Numbers -- |
| -- |
52. Further Extensions -- |
| -- |
CHAPTER SEVEN. Syntax -- |
| -- |
53. Formality -- |
| -- |
54. The Syntactical Primitive -- |
| -- |
55. Protosyntax -- |
| -- |
56. Formula and Matrix Defined -- |
| -- |
57. Axioms of Quantification Defined -- |
| -- |
58. Theorem Defined -- |
| -- |
59. Protosyntax Self-Applied -- |
| -- |
60. Incompleteness -- |
| -- |
APPENDIX. Theorem versus Metatheorem -- |
| -- |
List of Definitions -- |
| -- |
List of Theorems and Metatheorems -- |
| -- |
Bibliographical References -- |
| -- |
Index of Proper Names -- |
| -- |
Index of Subjects |
| 506 0# - Nota sulle restrizioni all'accesso |
|---|
| Condizioni che regolano l'accesso |
restricted access |
| URI (Uniform Resource Identifier) |
<a href="http://purl.org/coar/access_right/c_16ec">http://purl.org/coar/access_right/c_16ec</a> |
| Terminologia normalizzata della restrizione all’accesso |
online access with authorization |
| Fonte del termine |
star |
| 538 ## - Nota sui requisiti del sistema |
|---|
| Nota sui requisiti del sistema |
Mode of access: Internet via World Wide Web. |
| 546 ## - Nota sulla lingua |
|---|
| Nota sulla lingua |
In English. |
| 588 0# - Nota sulla fonte della discrezione |
|---|
| Nota sulla fonte della discrezione |
Description based on online resource; title from PDF title page (publisher's Web site, viewed 29. Jul 2021) |
| 650 #0 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Logic, Symbolic and mathematical. |
| 650 #0 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Logique symbolique et mathématique. |
| 650 #0 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
Mathematics. |
| 650 #7 - Accesso aggiunto di soggetto--termine topico |
|---|
| Termine topico o nome geografico come accesso |
PHILOSOPHY / General. |
| Fonte dell'intestazione o del termine |
bisacsh |
| 850 ## - Istituzione possedente |
|---|
| Istituzione possedente |
IT-RoAPU |
| 856 40 - Localizzazione e accesso elettronico |
|---|
| URI (Uniform Resource Identifier) |
<a href="https://doi.org/10.4159/9780674042469">https://doi.org/10.4159/9780674042469</a> |
| 856 40 - Localizzazione e accesso elettronico |
|---|
| URI (Uniform Resource Identifier) |
<a href="https://www.degruyter.com/isbn/9780674042469">https://www.degruyter.com/isbn/9780674042469</a> |
| 856 42 - Localizzazione e accesso elettronico |
|---|
| Materiale specificato |
Cover |
| URI (Uniform Resource Identifier) |
<a href="https://www.degruyter.com/cover/covers/9780674042469.jpg">https://www.degruyter.com/cover/covers/9780674042469.jpg</a> |
| 942 ## - Dati aggiuntivi (Koha) |
|---|
| Tipo copia default (Koha) |
eBook |
