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.
Standard negation : the negation of declarative verbal main clauses in a typological perspective / / by Matti Miestamo
| Standard negation : the negation of declarative verbal main clauses in a typological perspective / / by Matti Miestamo |
| Autore | Miestamo Matti <1972-> |
| Edizione | [1st ed.] |
| 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 | ||
| ||
The Logical Writings of Karl Popper / David Binder, Thomas Piecha, Peter Schroeder-Heister editors
| The Logical Writings of Karl Popper / David Binder, Thomas Piecha, Peter Schroeder-Heister editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xxiv, 552 p. : ill. ; 24 cm |
| Soggetto non controllato |
Classical Logic
Deductive logic History of logic Inferential Definitions Logical constants Mathematical logic Modalities Negation Non-classical logic Proof-Theoretic Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0278190 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan
| Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
| Autore | Smullyan Raymond M. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (157 pages) : illustrations |
| Disciplina | 511.33 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Metamathematics |
| Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8200-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154750903321 |
|
Smullyan Raymond M.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post
| The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post |
| Autore | Post Emil L. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (133 pages) : illustrations |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
0Q
1J Abstract structure Addition Antiderivative Argument of a function Axiom Big O notation Bijection Boolean algebra (structure) Calculation Cardinal number Classical mathematics Conjecture Contradiction Countable set Diagram (category theory) Dimension Direct proof Duality (mathematics) Duality (optimization) Existential quantification Finite group Finite set Floor and ceiling functions Function (mathematics) Inequality (mathematics) Inverse problem Iteration Join and meet K-function Lattice (order) Linear differential equation Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Membership function (mathematics) Morphism Mutual exclusivity Negation Notation Null set Oswald Veblen Parameter Parity (mathematics) Polynomial Principia Mathematica Projective geometry Propositional calculus Propositional variable Requirement Scientific notation Sequence Statistical hypothesis testing Subgroup Subset Suggestion Summation System T. The Principles of Mathematics Theorem Transfinite number Transfinite Truth table Uncountable set Uniqueness Variable (mathematics) Venn diagram |
| ISBN | 1-4008-8236-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154742203321 |
|
Post Emil L.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Zur Negation im Russischen und Polnischen / / Juliane Besters-Dilger
| Zur Negation im Russischen und Polnischen / / Juliane Besters-Dilger |
| Autore | Juliane Besters-Dilger |
| Pubbl/distr/stampa | Munich, Germany, : Verlag Otto Sagner, 2012, c1988 |
| Descrizione fisica | 1 online resource (400 p.) |
| Collana | Slavistische Beiträge |
| Soggetto topico |
Russian language - Grammar, Comparative
Polish language - Grammar, Comparative - Russian Russian language - Negatives Polish language - Negatives Russian language - Syntax Polish language - Syntax |
| Soggetto non controllato |
Besters
Dilger Linguistik Negation Philologie Polen Polnischen Russischen Russland Sprachwissenschaft |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910563029403321 |
|
Juliane Besters-Dilger
|
||
| Munich, Germany, : Verlag Otto Sagner, 2012, c1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
