<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_combinatorie> <http://schema.org/name> "Logică combinatorie." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_combinatorie> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/indecidabilite> <http://schema.org/name> "indecidabilite." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/indecidabilite> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/recursivite> <http://schema.org/name> "recursivite." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/recursivite> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_simbolica_y_matematica> <http://schema.org/name> "Lógica simbólica y matemática." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_simbolica_y_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/theoreme_church_rosser> <http://schema.org/name> "theoreme church-rosser." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/theoreme_church_rosser> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logique_combinatoire> <http://schema.org/name> "logique combinatoire." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logique_combinatoire> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logique_combinatoire> <http://schema.org/name> "Logique combinatoire." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_combinatoria> <http://schema.org/name> "Lógica combinatoria." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_combinatoria> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1493811.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1493811> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/combinatory_logic> <http://schema.org/name> "Combinatory logic." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/combinatory_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473941995> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/631249629> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/20874304> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/233646097> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85028814> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/801127338> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2637975683> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640466062> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/conversion_lambda> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/439994713> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/alternateName> "Introduction to combinatory logic"@it .
<http://worldcat.org/entity/work/id/1493811> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/combinatory_logic> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909084457> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2636598987> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/500581018> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797316741> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/803079977> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/898969242> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2743516404> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2640466062> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/716410330> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/name> "Introduction to combinatory logic" .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/name> "Introduction to combinatory logic"@en .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/logique_combinatoire> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/895397451> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2629201980> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/name> "Introduction to combinatory logic : [by] J.R. Hindley, B. Lercher and J.P. Seldin"@en .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/recursivite> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_combinatorie> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2703053108> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644729675> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/kombinatorikus_logika> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610652480> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/219978847> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/author> <http://worldcat.org/entity/person/id/2629201980> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/name> "Introduzione alla logica combinatoria"@it .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/name> "Introduzione alla logica combinatoria" .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/indecidabilite> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/author> <http://worldcat.org/entity/person/id/2637975683> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/681178079> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://id.worldcat.org/fast/868988> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/fonction_goedel> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/381527> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/299352346> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/844390785> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_combinatoria> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/workExample> <http://www.worldcat.org/oclc/228291620> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/kombinatorische_logik> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/alternateName> "Combinatory logic" .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/author> <http://worldcat.org/entity/person/id/2640466062> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/theoreme_church_rosser> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_simbolica> .
<http://worldcat.org/entity/work/id/1493811> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_simbolica_y_matematica> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/fonction_goedel> <http://schema.org/name> "fonction goedel." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/fonction_goedel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_matematica> <http://schema.org/name> "Logica matematica." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica" .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/kombinatorische_logik> <http://schema.org/name> "Kombinatorische Logik." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/kombinatorische_logik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/kombinatorikus_logika> <http://schema.org/name> "Kombinatorikus logika." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/kombinatorikus_logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_simbolica> <http://schema.org/name> "Logica simbolica." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/logica_simbolica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/conversion_lambda> <http://schema.org/name> "conversion lambda." .
<http://experiment.worldcat.org/entity/work/data/1493811#Topic/conversion_lambda> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .