GLORIA

GEOMAR Library Ocean Research Information Access

Your search history is empty.
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Amsterdam, Netherlands : North-Holland Pub. Co | New York, N.Y., U.S.A : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
    Keywords: Boole, George ; Boolesche Algebra ; Wahrscheinlichkeitstheorie ; Mathematische Logik ; Wahrscheinlichkeitstheorie ; Wahrscheinlichkeitsrechnung ; Boolesche Algebra ; Mathematische Logik
    Type of Medium: Online Resource
    Pages: Online-Ressource , xii, 428 p , 23 cm
    Edition: 2nd ed., rev. and enl
    ISBN: 0444879528 , 9780444879523
    Series Statement: Studies in logic and the foundations of mathematics v. 85
    RVK:
    Language: English
    Note: Includes bibliographical references (p) and index
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Amsterdam : North-Holland
    Keywords: Recursive functions ; Rekursive Funktion ; Mathematische Logik
    Type of Medium: Online Resource
    Pages: Online-Ressource , xii, 277 p , ill , 24 cm
    Edition: Online-Ausg.] Elsevier e-book collection on ScienceDirect
    ISBN: 0444894470 , 9780444894472
    Series Statement: Studies in logic and the foundations of mathematics v. 131
    RVK:
    Language: English
    Note: Includes bibliographical references (p. 265-267) and index
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Amsterdam : Elsevier
    Keywords: Curry-Howard isomorphism ; Lambda calculus ; Proof theory ; Mathematik ; Mathematische Logik ; Berechnung ; Beweis ; Analogie ; Intuitionistische Logik ; Analogie ; Typisierter Lambda-Kalkül ; Kombinatorische Logik ; Analogie ; Beweissystem ; Prädikatenlogik ; Programmierung ; Analogie ; Beweissystem ; Programmierung ; Analogie ; Peano-Arithmetik ; Beweissystem ; Kombinatorische Logik ; Lambda-Kalkül ; Beweistheorie
    Type of Medium: Online Resource
    Pages: Online-Ressource , xiv, 442 p , ill , 24 cm
    Edition: 1st ed
    ISBN: 0444520775 , 9780444520777
    Series Statement: Studies in logic and the foundations of mathematics v. 149
    RVK:
    RVK:
    Language: English
    Note: Includes bibliographical references (p. 403-430) and index
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Amsterdam : Elsevier
    Keywords: Algebraic logic ; Fixed point theory ; Lattice theory ; Machine theory ; Monotonic functions ; Predicate calculus ; Datenverarbeitung ; Mathematische Logik
    Type of Medium: Online Resource
    Pages: Online-Ressource , xvii, 277 p , ill , 23 cm
    Edition: 1st ed
    ISBN: 0444506209 , 9780444506207
    Series Statement: Studies in logic and the foundations of mathematics v. 146
    RVK:
    RVK:
    Language: English
    Note: Includes bibliographical references (p. [269]-273) and index
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Amsterdam : Elsevier Science B.V
    Keywords: Logic, Symbolic and mathematical ; Truth ; Logic, Symbolic and mathematical ; Truth ; Logique symbolique et mathématique ; Vérité ; Logic, Symbolic and mathematical ; Truth ; Electronic books ; Kombinatorik ; Mathematische Logik ; Wahrheitstheorie ; Kombinatorische Logik ; Kombinatorik ; Mathematische Logik ; Wahrheitstheorie ; Kombinatorische Logik
    Description / Table of Contents: This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-freeor self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics, (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics, (iii) they are particularly promising with regard to applications.Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.
    Type of Medium: Online Resource
    Pages: Online-Ressource (xii, 461 p.) , Illustrationen , 23 cm
    Edition: Online-Ausg. Elsevier e-book collection on ScienceDirect
    ISBN: 0444823069 , 9780080535586 , 0080535585 , 9780444823069
    Series Statement: Studies in logic and the foundations of mathematics 135
    RVK:
    Language: English
    Note: Includes bibliographical references (p. [425]-440) and index
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 6
    Online Resource
    Online Resource
    Amsterdam : Elsevier
    Keywords: Group theory ; Machine theory ; Machine theory ; Group theory ; Automatentheorie ; Halbgruppe ; Mathematische Logik ; Spieltheorie ; Spieltheorie ; Automatentheorie ; Algorithmentheorie ; Halbgruppe
    Type of Medium: Online Resource
    Pages: Online-Ressource , xi, 538 p , ill , 24 cm
    Edition: 1st ed
    ISBN: 0125321112 , 9780125321112
    Series Statement: Pure and applied mathematics series 141
    RVK:
    RVK:
    Language: English
    Note: "Academic Press , Includes bibliographical references (p. [499]-521)
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Amsterdam : North-Holland | New York, N.Y., U.S.A : Distributors for the U.S.A. and Canada
    Keywords: Computable functions ; Computational complexity ; Logic, Symbolic and mathematical ; Mathematische Logik ; Berechenbarkeit ; Prädikatenlogik
    Type of Medium: Online Resource
    Pages: Online-Ressource , xx, 592 p , ill , 23 cm
    Edition: Online-Ausg.] Elsevier e-book collection on ScienceDirect
    ISBN: 0444874062 , 9780444874061
    Series Statement: Studies in logic and the foundations of mathematics v. 128
    Uniform Title: Berechenbarkeit, Komplexität, Logik. 〈engl.〉
    RVK:
    Language: English , German
    Note: Includes index , Translation of: Berechenbarkeit, Komplexität, Logik
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Amsterdam : North-Holland | New York, N.Y., U.S.A : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
    Keywords: Friedman, Harvey ; Aufsatzsammlung ; Mathematische Logik
    Type of Medium: Online Resource
    Pages: Online-Ressource , xvi, 408 p , ill., ports , 23 cm
    Edition: Online-Ausg.] Elsevier e-book collection on ScienceDirect
    ISBN: 0444878343 , 9780444878342
    Series Statement: Studies in logic and the foundations of mathematics v. 117
    DDC: 511.3
    RVK:
    Language: English
    Note: "Harvey Friedman's publications."--P. 405-408
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Amsterdam, The Netherlands : North-Holland | New York, N.Y : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
    Keywords: Logic, Symbolic and mathematical Congresses ; Mathematik ; Logik ; Kongressbericht ; Konferenzschrift 1981 ; Mathematische Logik ; Logik ; Mathematik ; Logik ; Mathematische Logik ; Logik ; Mathematik ; Mathematische Logik
    Type of Medium: Online Resource
    Pages: Online-Ressource , xiv, 210 p , 23 cm
    Edition: Online-Ausg.] Elsevier e-book collection on ScienceDirect
    ISBN: 0444867066 , 9780444867063
    Series Statement: Studies in logic and the foundations of mathematics v. 111
    DDC: 511.3
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Includes bibliographies
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 10
    Keywords: Logic History ; Philosophy, Ancient ; Logic History ; Logic ; History ; Logica ; Electronic books ; Mathematische Logik ; Mathematik ; Geschichte ; Mathematische Logik ; Mathematik ; Geschichte
    Description / Table of Contents: Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to G̱del, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality. Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world. Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value. Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas
    Type of Medium: Online Resource
    Pages: Online-Ressource (v. 〈1〉p) , ill , 25 cm
    Edition: 1st ed
    ISBN: 0444504664 , 9780444504661
    Series Statement: Handbook of the history of logic volume 1
    RVK:
    RVK:
    Language: English
    Note: Includes bibliographical references and index , v. 1. Greek, Indian, and Arabic logic , Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to G̱del, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality. Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world. Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value. Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscienc ... , Electronic reproduction; Mode of access: World Wide Web
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...