Logic techniques of formal reasoning

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/1454236#Topic/deduction_automatique
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logika_symboliczna_i_matematyczna_podreczniki
http://id.loc.gov/authorities/subjects/sh85078115
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/1454236#Topic/mathematische_logik
http://experiment.worldcat.org/entity/work/data/1454236#Topic/einfuhrung
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logique_1er_ordre
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logica
http://experiment.worldcat.org/entity/work/data/1454236#Topic/mathematische_logica
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logik
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logique_formelle_raisonnement
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logica_simbolica_y_matematica
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/1454236#Topic/raonament
http://id.worldcat.org/fast/1002068
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logique_formelle_manuel
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logique
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logique_formelle
http://experiment.worldcat.org/entity/work/data/1454236#Topic/logica_simbolica
http://experiment.worldcat.org/entity/work/data/1454236#Topic/calcul_predicat
http://experiment.worldcat.org/entity/work/data/1454236#Topic/langage_naturel
http://experiment.worldcat.org/entity/work/data/1454236#Topic/symboles
http://experiment.worldcat.org/entity/work/data/1454236#Topic/quantificateur
http://experiment.worldcat.org/entity/work/data/1454236#Topic/osnove_matematike_logika
http://experiment.worldcat.org/entity/work/data/1454236#Topic/aussagenlogik
http://experiment.worldcat.org/entity/work/data/1454236#Topic/inference

http://schema.org/author

http://worldcat.org/entity/person/id/2628414997
http://worldcat.org/entity/person/id/2642037298
http://worldcat.org/entity/person/id/2628443069

http://schema.org/contributor

http://worldcat.org/entity/person/id/2628414997
http://worldcat.org/entity/person/id/2642037298
http://worldcat.org/entity/person/id/2638605015
http://experiment.worldcat.org/entity/work/data/1454236#Organization/harcourt_brace_&_world

http://schema.org/creator

http://worldcat.org/entity/person/id/2628443069

http://schema.org/director

http://worldcat.org/entity/person/id/2638605015

http://schema.org/editor

http://worldcat.org/entity/person/id/2638605015

http://schema.org/name

"Logic; techniques of formal reasoning"
"Logic techniques of formal reasoning"
"Logic techniques of formal reasoning"@en
"Logic : techniques of formal reasoning"
"Logic : techniques of formal reasoning"@en
"Logic - techniques of formal reasoning"@en
"Logic Techniques of Formal Reasoning"

http://schema.org/workExample

http://www.worldcat.org/oclc/781241113
http://www.worldcat.org/oclc/49990149
http://www.worldcat.org/oclc/901778121
http://www.worldcat.org/oclc/476384058
http://www.worldcat.org/oclc/299942975
http://www.worldcat.org/oclc/848909877
http://www.worldcat.org/oclc/819679480
http://www.worldcat.org/oclc/637318707
http://www.worldcat.org/oclc/640864934
http://www.worldcat.org/oclc/797261184
http://www.worldcat.org/oclc/320990148
http://www.worldcat.org/oclc/51331779
http://www.worldcat.org/oclc/857950229
http://www.worldcat.org/oclc/372930
http://www.worldcat.org/oclc/802028938
http://www.worldcat.org/oclc/834299148
http://www.worldcat.org/oclc/468386525
http://www.worldcat.org/oclc/6344948
http://www.worldcat.org/oclc/756455432
http://www.worldcat.org/oclc/728644795
http://www.worldcat.org/oclc/757481238
http://www.worldcat.org/oclc/61454104
http://www.worldcat.org/oclc/439059169
http://www.worldcat.org/oclc/456695667
http://www.worldcat.org/oclc/877242262
http://www.worldcat.org/oclc/750722478
http://www.worldcat.org/oclc/611593484
http://www.worldcat.org/oclc/644529614
http://www.worldcat.org/oclc/468986124

Harcourt, Brace & World.

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"Harcourt, Brace & World."

http://experiment.worldcat.org/entity/work/data/1454236#Organization/harcourt_brace_&_world

Aussagenlogik.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Aussagenlogik."