Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
First order categorical logic, model-theoretical methods in the theory of topoi and related categories
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
rdac:C10001
, within Data Space :
data.idref.fr
associated with source
document(s)
Type:
frbr:Work
rdac:C10001
New Facet based on Instances of this Class
Attributes
Values
type
frbr:Work
rdac:C10001
Author
Makkai, Mihály (1939-....)
Reyes, Gonzalo E
alternative label
First Order Categorical Logic
dc:subject
Mathematics
Mathématiques
Logic, Symbolic and mathematical
Logique mathématique
Théorie des modèles
Catégories (mathématiques)
Mathematical Logic and Foundations
Topos (mathématiques)
Toposes
Model theory
Categories (Mathematics)
preferred label
First order categorical logic, model-theoretical methods in the theory of topoi and related categories
Language
http://lexvo.org/id/iso639-3/eng
Subject
http://www.idref.fr/027339521/id
http://www.idref.fr/027237869/id
http://www.idref.fr/027706222/id
http://www.idref.fr/02723875X/id
http://www.idref.fr/027662799/id
dc:title
First order categorical logic, model-theoretical methods in the theory of topoi and related categories
dc:type
Text
http://iflastandar...bd/elements/P1001
http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219
1977
has content type
http://rdaregistry.info/termList/RDAContentType/1020
is
primary topic
of
http://www.idref.fr/213889102
is
rdam:P30135
of
http://www.sudoc.fr/155205404/id
http://www.sudoc.fr/018218946/id
Faceted Search & Find service v1.13.91 as of Aug 16 2018
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software