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.
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contradictions, from Consistency to Inconsistency / Walter Carnielli, Jacek Malinowski editors
| Contradictions, from Consistency to Inconsistency / Walter Carnielli, Jacek Malinowski editors |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | vi, 322 p., : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] |
| Soggetto non controllato |
Consistency
Contradictions Inconsistency Logic and Philosophy of Science Logic for Computer Science Logics of Formal Inconsistency Negation Paraconsistent Logic Principle of Explosion |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124617 |
| vi, 322 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Convergence and Uniformity in Topology. (AM-2), Volume 2 / / John W. Tukey
| Convergence and Uniformity in Topology. (AM-2), Volume 2 / / John W. Tukey |
| Autore | Tukey John W. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (108 pages) |
| Disciplina |
510.82
513.83 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Topology |
| Soggetto non controllato |
Absolute value
Abstract algebra Algebraic topology Axiom of choice Binary relation Cardinal number Characteristic function (probability theory) Closed set Closure operator Combinatorial topology Compact space Complete lattice Complete metric space Continuous function (set theory) Continuous function Countable set Counterexample Dimension theory (algebra) Dimension theory Discrete space Domain of a function Empty set Enumeration Equivalence class Equivalence relation Existential quantification Family of sets Finite set General topology Geometry Hahn–Banach theorem Hausdorff space Homeomorphism Infimum and supremum Integer Interval (mathematics) Lebesgue constant (interpolation) Limit point Linear space (geometry) Mathematician Mathematics Maximal element Metric space Monotonic function Mutual exclusivity Natural number Negation Normal space Open set Ordinal number Real number Regular space Requirement Scientific notation Separation axiom Set (mathematics) Set theory Special case Subsequence Subset Suggestion Summation Superspace Theorem Theory Topological algebra Topology Total order Transfinite induction Transfinite number Transfinite Transitive relation Tychonoff space Ultrafilter Uncountable set Uniform continuity Union (set theory) Upper and lower bounds Zorn's lemma |
| ISBN | 1-4008-8219-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Introduction -- Contents -- General Usage of The Alphabets -- Special Usage of The Alphabets -- Usage of General Symbols -- Chapter I. Ordering -- Chapter II. Direction -- Chapter III. Convergence -- Chapter IV. Compactness -- Chapter V. Normality -- Chapter VI. Structs -- Chapter VII. Function - Spaces -- Chapter VIII. Examples -- Chapter IX. Discussion -- Bibliography -- Index |
| Record Nr. | UNINA-9910154748703321 |
|
Tukey John W.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The expression of negation [[electronic resource] /] / edited by Laurence R. Horn
| The expression of negation [[electronic resource] /] / edited by Laurence R. Horn |
| Pubbl/distr/stampa | Berlin ; ; New York, N.Y., : Mouton de Gruyter, c2010 |
| Descrizione fisica | 1 online resource (349 p.) |
| Disciplina | 415 |
| Altri autori (Persone) | HornLaurence R |
| Collana | The expression of cognitive categories |
| Soggetto topico |
Grammar, Comparative and general - Negatives
Negation (Logic) |
| Soggetto non controllato |
Cognitive Linguistics
Negation Psycholinguistics Semantics |
| ISBN |
1-282-67305-X
9786612673054 3-11-021930-1 |
| Classificazione | ET 670 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Introduction -- Typology of negation -- The Acquisition of Negation -- On the diachrony of negation -- Multiple negation in English and other languages -- Quantifier-negation interaction in English: A corpus linguistic study of all...not constructions -- Negative and positive polarity items: An investigation of the interplay of lexical meaning and global conditions on expression -- Negation as a metaphor-inducing operator -- Negation in Classical Japanese -- Negation and polarity in the new millennium: A bibliography -- Backmatter |
| Record Nr. | UNINA-9910792118303321 |
| Berlin ; ; New York, N.Y., : Mouton de Gruyter, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The expression of negation [[electronic resource] /] / edited by Laurence R. Horn
| The expression of negation [[electronic resource] /] / edited by Laurence R. Horn |
| Pubbl/distr/stampa | Berlin ; ; New York, N.Y., : Mouton de Gruyter, c2010 |
| Descrizione fisica | 1 online resource (349 p.) |
| Disciplina | 415 |
| Altri autori (Persone) | HornLaurence R |
| Collana | The expression of cognitive categories |
| Soggetto topico |
Grammar, Comparative and general - Negatives
Negation (Logic) |
| Soggetto non controllato |
Cognitive Linguistics
Negation Psycholinguistics Semantics |
| ISBN |
1-282-67305-X
9786612673054 3-11-021930-1 |
| Classificazione | ET 670 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Introduction -- Typology of negation -- The Acquisition of Negation -- On the diachrony of negation -- Multiple negation in English and other languages -- Quantifier-negation interaction in English: A corpus linguistic study of all...not constructions -- Negative and positive polarity items: An investigation of the interplay of lexical meaning and global conditions on expression -- Negation as a metaphor-inducing operator -- Negation in Classical Japanese -- Negation and polarity in the new millennium: A bibliography -- Backmatter |
| Record Nr. | UNINA-9910812325003321 |
| Berlin ; ; New York, N.Y., : Mouton de Gruyter, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interdisciplinary Perspectives on Math Cognition / Marcel Danesi editor
| Interdisciplinary Perspectives on Math Cognition / Marcel Danesi editor |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | viii, 344 p. : ill. ; 24 cm |
| Soggetto topico |
92B20 - Neural networks for/in biological studies, artificial life and related topics [MSC 2020]
97-XX - Mathematics education [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 91Fxx - Other social and behavioral sciences (mathematical treatment) [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Biological brain
Brain studies on math cognition Calculus of indications Cognitive science approaches to the mathematical mind Conceptual blending Iconicity Klein's hierarchy Limbic system Math learning Mathematics technologies Negation Number cognition Problem-based learning Science of coordination dynamics Semiotics in mathematics Set Theory Spatial cognition Symbolism Triadic semiotics Zipf's law |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0126921 |
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New directions in paraconsistent logic : 5. WCP, Kolkata, India, february 2014 / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta editors
| New directions in paraconsistent logic : 5. WCP, Kolkata, India, february 2014 / Jean-Yves Beziau, Mihir Chakraborty, Soma Dutta editors |
| Pubbl/distr/stampa | New Delhi, : Springer, 2015 |
| Descrizione fisica | XI, 552 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03B50 - Many-valued logic [MSC 2020] 03B53 - Paraconsistent logics [MSC 2020] 03B52 - Fuzzy logic; logic of vagueness [MSC 2020] |
| Soggetto non controllato |
Contradictions
Fuzzy Logic Many-valued Logic Modal Logic Negation Paracomplete Logic Paraconsistent Logic Quantum Logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114021 |
| New Delhi, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Standard negation [[electronic resource] ] : the negation of declarative verbal main clauses in a typological perspective / / by Matti Miestamo
| Standard negation [[electronic resource] ] : the negation of declarative verbal main clauses in a typological perspective / / by Matti Miestamo |
| Autore | Miestamo Matti <1972-> |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2005 |
| Descrizione fisica | 1 online resource (504 p.) |
| Disciplina | 415 |
| Collana | Empirical approaches to language typology |
| Soggetto topico |
Grammar, Comparative and general - Negatives
Grammar, Comparative and general - Clauses Grammar, Comparative and general - Verb Typology (Linguistics) |
| Soggetto non controllato |
Language Typology
Negation |
| ISBN |
1-282-19400-3
9786612194009 3-11-019763-4 |
| Classificazione | ET 740 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Chapter 1 Introduction -- Chapter 2 Theoretical and methodological issues -- Chapter 3 Classification -- Chapter 4 Quantitative data -- Chapter 5 Functional motivations -- Chapter 6 Conclusions -- Back matter |
| Record Nr. | UNINA-9910781907703321 |
|
Miestamo Matti <1972->
|
||
| Berlin ; ; New York, : Mouton de Gruyter, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Standard negation [[electronic resource] ] : the negation of declarative verbal main clauses in a typological perspective / / by Matti Miestamo
| Standard negation [[electronic resource] ] : the negation of declarative verbal main clauses in a typological perspective / / by Matti Miestamo |
| Autore | Miestamo Matti <1972-> |
| Pubbl/distr/stampa | Berlin ; ; New York, : Mouton de Gruyter, c2005 |
| Descrizione fisica | 1 online resource (504 p.) |
| Disciplina | 415 |
| Collana | Empirical approaches to language typology |
| Soggetto topico |
Grammar, Comparative and general - Negatives
Grammar, Comparative and general - Clauses Grammar, Comparative and general - Verb Typology (Linguistics) |
| Soggetto non controllato |
Language Typology
Negation |
| ISBN |
1-282-19400-3
9786612194009 3-11-019763-4 |
| Classificazione | ET 740 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Chapter 1 Introduction -- Chapter 2 Theoretical and methodological issues -- Chapter 3 Classification -- Chapter 4 Quantitative data -- Chapter 5 Functional motivations -- Chapter 6 Conclusions -- Back matter |
| Record Nr. | UNINA-9910806290403321 |
|
Miestamo Matti <1972->
|
||
| Berlin ; ; New York, : Mouton de Gruyter, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
