skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Logic without borders Preview this item
ClosePreview this item
Checking...

Logic without borders

Author: sa Hirvonen; Juha Kontinen; Roman Kossak; Andrs Villaveces, (Mathematics professor)
Publisher: Boston : De Gruyter, [2015] ©221E2015
Series: Ontos mathematical logic, volume 5
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: J Vnnen
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: sa Hirvonen; Juha Kontinen; Roman Kossak; Andrs Villaveces, (Mathematics professor)
ISBN: 9781614517726 161451772X 9781614516873 1614516871
OCLC Number: 953847082
Description: 1 online resource (437 pages) : portrait
Series Title: Ontos mathematical logic, volume 5

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/953847082<\/a>> # Logic without borders<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:Book<\/a>, schema:MediaObject<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"953847082<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/mau<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/511\/e23\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/set_theory<\/a>> ; # Set theory<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/mathematics_philosophy<\/a>> ; # Mathematics--Philosophy<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/model_theory<\/a>> ; # Model theory<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/logic_symbolic_and_mathematical<\/a>> ; # Logic, Symbolic and mathematical<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/vnnen_j_1950_vnnen_jouko<\/a>> ; # Vnnen Jouko Vnnen<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2015<\/span>\" ;\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/kontinen_juha<\/a>> ; # Juha Kontinen<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/villaveces_andrs_mathematics_professor<\/a>> ; # (Mathematics professor) Andrs Villaveces<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/hirvonen_sa<\/a>> ; # sa Hirvonen<\/span>\n\u00A0\u00A0\u00A0\nschema:editor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/kossak_roman_1953<\/a>> ; # Roman Kossak<\/span>\n\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/5454269538<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Series\/ontos_mathematical_logic<\/a>> ; # Ontos mathematical logic ;<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/worldcat.org\/issn\/2198-2341<\/a>> ; # Ontos mathematical logic,<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic without borders<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"953847082<\/span>\" ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/site.ebrary.com\/id\/11049480<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9781614516873<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9781614517726<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/953847082<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/511\/e23\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/hirvonen_sa<\/a>> # sa Hirvonen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Hirvonen<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"sa<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"sa Hirvonen<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/kontinen_juha<\/a>> # Juha Kontinen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Kontinen<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Juha<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Juha Kontinen<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/kossak_roman_1953<\/a>> # Roman Kossak<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1953<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Kossak<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Roman<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Roman Kossak<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/villaveces_andrs_mathematics_professor<\/a>> # (Mathematics professor) Andrs Villaveces<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Villaveces<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Andrs<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"(Mathematics professor) Andrs Villaveces<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Person\/vnnen_j_1950_vnnen_jouko<\/a>> # Vnnen Jouko Vnnen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1950<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Vnnen<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Vnnen Jouko<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"J.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Vnnen Jouko Vnnen<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Series\/ontos_mathematical_logic<\/a>> # Ontos mathematical logic ;<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/953847082<\/a>> ; # Logic without borders<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Ontos mathematical logic ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/logic_symbolic_and_mathematical<\/a>> # Logic, Symbolic and mathematical<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Logic, Symbolic and mathematical<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/mathematics_philosophy<\/a>> # Mathematics--Philosophy<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mathematics--Philosophy<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/model_theory<\/a>> # Model theory<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Model theory<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/5454269538#Topic\/set_theory<\/a>> # Set theory<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Set theory<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/mau<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"mau<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9781614516873<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"1614516871<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9781614516873<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9781614517726<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"161451772X<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9781614517726<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/issn\/2198-2341<\/a>> # Ontos mathematical logic,<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/953847082<\/a>> ; # Logic without borders<\/span>\n\u00A0\u00A0\u00A0\nschema:issn<\/a> \"2198-2341<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Ontos mathematical logic,<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n