GLORIA

GEOMAR Library Ocean Research Information Access

X
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
    A survey of mathematical logic (1963)
    Dordrecht : Elsevier Science
    Details Availability
    Keywords: Logic, Symbolic and mathematical ; Logic, Symbolic and mathematical ; Logic, Symbolic and mathematical ; Electronic books ; Electronic books
    Description / Table of Contents: Axiomatic method -- Eighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory
    Type of Medium: Online Resource
    Pages: Online Ressource (v, 651 pages)
    Edition: Online-Ausg.
    ISBN: 0444533982 , 9780444533982
    Series Statement: Studies in Logic and the Foundations of Mathematics v. 33
    URL: http://www.sciencedirect.com/science/book/9780444533982
    URL: http://www.sciencedirect.com/science/bookseries/0049237X/33
    URL: https://www.sciencedirect.com/science/bookseries/0049237X/33
    DDC: 511.3
    Language: English
    Note: Print version record , Axiomatic methodEighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory. , Axiomatic method -- Eighty years of foundational studies -- On formalization -- Axiomatization of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines : an exercise in coding -- Logic of automata -- Toward mechanical mathematics -- Circuit synthesis by solving sequential Boolean equations -- Predicate calculus -- Many-sorted predicate calculi -- Arithmetization of metamathematics -- Ackermann's consistency proof -- Partial systems of number theory -- Different axiom systems -- Relative strength and reducibility -- Truth definitions and consistency proofs -- Between number theory and set theory -- Some partial system -- Certain predicates defined by induction schemata -- Undecidable sentences suggested by semantic paradoxes -- Formalization of mathematics -- Some formal details on predicative set theories -- Ordinal numbers and predicative set theory.
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
  • 2
    Online Resource
    Online Resource
    Languages with expressions of infinite length (1964)
    Amsterdam : North-Holland
    Details Availability
    Keywords: Logic, Symbolic and mathematical ; Logic, Symbolic and mathematical ; Sprache ; Formale Sprache ; Formale Sprache ; Sprache ; Logic, Symbolic and mathematical ; Unbestimmte Länge ; Electronic books
    Description / Table of Contents: Infinitary concatenation -- Algebras of terms of infinite length -- Infinitary propositional languages -- Representation theory for Boolean algebras -- Non-deducibility in infinitary propositional logic -- Systems of formulas of infinite length -- Substitution -- Inifinitary predicate languages -- Infinitary predicate logic -- Non-deducibility in infinitary predicate logic -- Definability of the infinitary formal systems -- Incompleteness in infinitary predicate logic
    Type of Medium: Online Resource
    Pages: Online-Ressource (xix, 183 p)
    Edition: Online-Ausg. 2010 Electronic reproduction
    ISBN: 9780444534019
    Series Statement: Studies in Logic and the Foundations of Mathematics v. 36
    URL: http://www.sciencedirect.com/science/book/9780444534019
    URL: http://www.sciencedirect.com/science/bookseries/0049237X/36
    URL: https://www.sciencedirect.com/science/bookseries/0049237X/36
    DDC: 511.3
    RVK:
    CC 2600
    RVK:
    SK 130
    Language: English
    Note: Includes bibliographical references and indexes , Infinitary concatenation -- Algebras of terms of infinite length -- Infinitary propositional languages -- Representation theory for Boolean algebras -- Non-deducibility in infinitary propositional logic -- Systems of formulas of infinite length -- Substitution -- Inifinitary predicate languages -- Infinitary predicate logic -- Non-deducibility in infinitary predicate logic -- Definability of the infinitary formal systems -- Incompleteness in infinitary predicate logic. , Electronic reproduction
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
  • 3
    Online Resource
    Online Resource
    The logical systems of Lesniewski (1962)
    Amsterdam : North-Holland
    Details Availability
    Keywords: Les§niewski, Stanislaw ; Leśniewski, Stanislaw ; Leśniewski, Stanisław ; Leśniewski, Stanislaw ; Logic, Symbolic and mathematical ; Semantics (Philosophy) ; Semantics (Philosophy) ; Logic, Symbolic and mathematical ; Logic, Symbolic and mathematical ; Semantics (Philosophy) ; Electronic books
    Description / Table of Contents: Conventions of exposition and reference -- Lesniewski's development -- Lesniewski's achievements -- Lesniewski's critique of pure formation -- Lesniewski's grammar of semantic categories -- Lesniewski's system of logic and foundations of mathematics -- Terminological explanations and directives -- Principles of Lesniewski's ideographic notation
    Type of Medium: Online Resource
    Pages: Online-Ressource (iv, 361 p)
    Edition: Online-Ausg. 2010 Electronic reproduction
    ISBN: 9780444533951
    Series Statement: Studies in Logic and the Foundations of Mathematics v. 30
    URL: http://www.sciencedirect.com/science/book/9780444533951
    URL: http://www.sciencedirect.com/science/bookseries/0049237X/30
    URL: https://www.sciencedirect.com/science/bookseries/0049237X/30
    URL: https://www.sciencedirect.com/science/book/9780444533951
    DDC: 511.3
    Parallel Title: Becker, Oskar Rezensiert in [Rezension von: Luschei, Eugene C., The logical Systems of Lesniewski]
    Language: English
    Note: Bibliography: p. [320]-333 , Conventions of exposition and reference -- Lesniewski's development -- Lesniewski's achievements -- Lesniewski's critique of pure formation -- Lesniewski's grammar of semantic categories -- Lesniewski's system of logic and foundations of mathematics -- Terminological explanations and directives -- Principles of Lesniewski's ideographic notation. , Electronic reproduction
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    GEOMAR CATALOGUE
    Link to Library Catalog
    get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...