| http://dbpedia.org/ontology/abstract
|
Extensions of First Order Logic is a book on mathematical logic. It was written by María Manzano, and published in 1996 by the Cambridge University Press as volume 19 of their book series Cambridge Tracts in Theoretical Computer Science.
|
| http://dbpedia.org/ontology/wikiPageID
|
63731225
|
| http://dbpedia.org/ontology/wikiPageLength
|
4662
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1059769800
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Sequent_calculus +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Mar%C3%ADa_Manzano +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/Second-order_arithmetic +
, http://dbpedia.org/resource/Montague_grammar +
, http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems +
, http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Fixed-point_logic +
, http://dbpedia.org/resource/Leon_Henkin +
, http://dbpedia.org/resource/Category:1996_non-fiction_books +
, http://dbpedia.org/resource/Second-order_logic +
, http://dbpedia.org/resource/Dynamic_logic_%28modal_logic%29 +
, http://dbpedia.org/resource/Category:Mathematics_books +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Non-monotonic_logic +
, http://dbpedia.org/resource/Many-sorted_logic +
, http://dbpedia.org/resource/Compactness_theorem +
, http://dbpedia.org/resource/Type_theory +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Italic_title +
, http://dbpedia.org/resource/Template:R +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematical_logic +
, http://dbpedia.org/resource/Category:1996_non-fiction_books +
, http://dbpedia.org/resource/Category:Mathematics_books +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Extensions_of_First_Order_Logic?oldid=1059769800&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Extensions_of_First_Order_Logic +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q96377542 +
, https://global.dbpedia.org/id/Bv9Dp +
, http://dbpedia.org/resource/Extensions_of_First_Order_Logic +
|
| rdfs:comment |
Extensions of First Order Logic is a book on mathematical logic. It was written by María Manzano, and published in 1996 by the Cambridge University Press as volume 19 of their book series Cambridge Tracts in Theoretical Computer Science.
|
| rdfs:label |
Extensions of First Order Logic
|
