Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
| Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
| Descrizione fisica | 1 online resource (1179 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
| Record Nr. | UNINA-9910511500003321 |
| Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
| Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
| Descrizione fisica | 1 online resource (1179 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
| Record Nr. | UNINA-9910783094303321 |
| Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of mathematical logic / / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
| Handbook of mathematical logic / / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
| Descrizione fisica | 1 online resource (1179 p.) |
| Disciplina | 511/.3 |
| Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
| Record Nr. | UNINA-9910821208503321 |
| Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical reasoning with diagrams [[electronic resource] /] / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]
| Logical reasoning with diagrams [[electronic resource] /] / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.] |
| Pubbl/distr/stampa | New York, : Oxford University Press, 1996 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
AllweinGerard <1956->
BarwiseJon |
| Collana | Studies in logic and computation |
| Soggetto topico |
Knowledge representation (Information theory)
Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-19-756098-9
1-280-53375-7 9786610533756 0-19-535586-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic
Chapter IX. Toward the Rigorous Use of Diagrams in Reasoning about HardwareChapter X. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; R; S; T; U; V; W; Z |
| Record Nr. | UNINA-9910457977403321 |
| New York, : Oxford University Press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical reasoning with diagrams [[electronic resource] /] / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]
| Logical reasoning with diagrams [[electronic resource] /] / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.] |
| Pubbl/distr/stampa | New York, : Oxford University Press, 1996 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
AllweinGerard <1956->
BarwiseJon |
| Collana | Studies in logic and computation |
| Soggetto topico |
Knowledge representation (Information theory)
Logic, Symbolic and mathematical |
| ISBN |
0-19-756098-9
1-280-53375-7 9786610533756 0-19-535586-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic
Chapter IX. Toward the Rigorous Use of Diagrams in Reasoning about HardwareChapter X. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; R; S; T; U; V; W; Z |
| Record Nr. | UNINA-9910784795403321 |
| New York, : Oxford University Press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical reasoning with diagrams / / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]
| Logical reasoning with diagrams / / edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.] |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Oxford University Press, 1996 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
AllweinGerard <1956->
BarwiseJon |
| Collana | Studies in logic and computation |
| Soggetto topico |
Knowledge representation (Information theory)
Logic, Symbolic and mathematical |
| ISBN |
0-19-756098-9
1-280-53375-7 9786610533756 0-19-535586-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic
Chapter IX. Toward the Rigorous Use of Diagrams in Reasoning about HardwareChapter X. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning; Bibliography; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; R; S; T; U; V; W; Z |
| Record Nr. | UNINA-9910821134203321 |
| New York, : Oxford University Press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The syntax and semantics of infinitary languages / / Jon Barwise, editor
| The syntax and semantics of infinitary languages / / Jon Barwise, editor |
| Edizione | [1st ed. 1968.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1968] |
| Descrizione fisica | 1 online resource (VI, 270 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Infinitary languages |
| ISBN | 3-540-35900-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implicit definability and compactness in infinitary languages -- Some remarks on the model theory of infinitary languages -- Remarks on the theory of geometrical constructions -- Note on admissible ordinals -- An algebraic proof of the barwise compactness theorem -- Formulas with linearly ordered quantifiers -- Some problems in group theory -- Choice of infinitary languages by means of definability criteria; Generalized recursion theory -- Definability, automorphisms, and infinitary languages -- The hanf number for complete sentences -- Quantified algebras -- Normal derivability in classical logic -- A determinate logic -- (?1, ?) properties of unions of models. |
| Record Nr. | UNISA-996466611403316 |
| Berlin ; ; Heidelberg : , : Springer, , [1968] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||