|
rdfs:label
|
"First-order modal logic / Melvin Fitting and Richard L. Mendelsohn"
|
|
schema:name
|
"First-order modal logic"
|
|
schema:author
|
Fitting, Melvin Chris (1942-)
|
|
schema:contributor
|
Mendelsohn, Richard L.
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/782792744>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/bbbc7b8ee7b2435896476383fc9525ab>
|
|
http://purl.org/dc/terms#issued
|
"1998"
|
|
schema:about
|
Modale logica
|
|
<http://data.bibliotheken.nl/id/thes/p077601874>
|
|
logica
|
|
Predicate logic
|
|
schema:associatedMedia
|
<http://www.loc.gov/catdir/enhancements/fy0814/98037504-t.html>
|
|
<http://catdir.loc.gov/catdir/enhancements/fy0814/98037504-d.html>
|
|
<http://www.loc.gov/catdir/enhancements/fy0814/98037504-d.html>
|
|
<http://catdir.loc.gov/catdir/enhancements/fy0814/98037504-t.html>
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Synthese library : studies in epistemology, logic, methodology, and philosophy of science / manag. ed. Jaakko Hintikka
|
|
schema:isbn
|
"079235334X"
|
|
schema:numberOfPages
|
287
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/39fbc7b798e0dd7193e5a547927be2f7>
|