Linked Data Explorerhttp://worldcat.org/entity/work/id/56176977
Logic journal of the IGPL
Publishes papers in pure and applied logic. Includes logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and artificial intelligence, foundations of logic programming, logic and computation, logic and language, and logic engineering.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logica_simbolica_periodici
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/online_publikation
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/teoria_de_la_recursio_revistes
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/intel_ligencia_artificial
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/computers
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/intelligence_artificielle
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logique_symbolique_et_mathematique_periodiques
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logica
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logica_matematica
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logic_symbolic_and_mathematical
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/mathematiques_periodiques
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/revistes
- http://id.worldcat.org/fast/1002068
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logica_matematica_revistes
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/intel_ligencia_artificial_revistes
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logique_computationnelle
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/teoria_de_models
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/elaboratori_elettronici_programmazione_logica_periodici
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logique_informatique_periodiques
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/electronic_journals
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/teoria_de_models_revistes
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/zeitschrift
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/datenverarbeitung
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/mathematische_logik_zeitschrift
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logique_mathematique_periodiques
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logique_informatique
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logica_publicaciones_periodicas_en_linea
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logik
- http://id.loc.gov/authorities/subjects/sh2010100130
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/intelligence_artificielle_periodiques
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/logica_matematica_periodici
- http://experiment.worldcat.org/entity/work/data/56176977#Topic/teoria_de_la_recursio
http://schema.org/alternateName
- "Logic journal of the Interest Group in Pure and Applied Logics"
- "Logic journal of the interest Group in pure and applied logics"@en
- "Journal of the IGPL"
http://schema.org/description
- "Publishes papers in pure and applied logic. Includes logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and artificial intelligence, foundations of logic programming, logic and computation, logic and language, and logic engineering."@en
http://schema.org/workExample
- http://www.worldcat.org/oclc/740972594
- http://www.worldcat.org/oclc/757456699
- http://www.worldcat.org/oclc/36929021
- http://www.worldcat.org/oclc/60463766
- http://www.worldcat.org/oclc/807555950
- http://www.worldcat.org/oclc/828101619
- http://www.worldcat.org/oclc/782257517
- http://www.worldcat.org/oclc/819020699
- http://www.worldcat.org/oclc/473062918
- http://www.worldcat.org/oclc/768525879
- http://www.worldcat.org/oclc/222180497
- http://www.worldcat.org/oclc/796022236
- http://www.worldcat.org/oclc/613876709
- http://www.worldcat.org/oclc/38403262
- http://www.worldcat.org/oclc/730085043
- http://www.worldcat.org/oclc/50795835
- http://www.worldcat.org/oclc/476056846
- http://www.worldcat.org/oclc/797439083
- http://www.worldcat.org/oclc/637652602
- http://www.worldcat.org/oclc/750599885
- http://www.worldcat.org/oclc/474942965
- http://www.worldcat.org/oclc/807928790
- http://www.worldcat.org/oclc/474094603