Rogers, Robert

Mathematical logic and formalized theories : a survey of basic concepts and results

Amsterdam ; London : North-Holland ; New York : American Elsevier, 1971
Abstract: The sentential logic - The first-order predicate logic - The second-order predicate logic. Theory of definition - The natural numbers - The real numbers - Axiomatic set theory - Incompleteness. Undecidability.
Cover Mathematical logic and formalized theories : a survey of basic concepts and results
Source: GOOGLE
Items: 1
Loans: 0
Reservations: 0
Reserve
Manage Favorites
    Field Value
    Description Mathematical logic and formalized theories : a survey of basic concepts and results/ Robert Rogers. - Amsterdam ; London : North-Holland ; New York : American Elsevier, 1971. - XI, 235 p. ; 23 cm
    Numbers
    • ISBN: 0-444-10083-0
    Authors
    Keys
    Publishing location
    Editor
    Categorie
    Country
    Language
    ID file 44633
    Library Inv. Ubi. Collocation State Status Reservations
    Biblio Conf 0095667 Biblioteca LC / 971 / 30 Available In library None
    Extend the research of the resource
    Google
    Google Book
    Google Scholar
    Wikipedia
    Extend the research of the authors
    Rogers, Robert
    Google
    Wikipedia