<http://experiment.worldcat.org/entity/work/data/115248605#Topic/fonctions_recursives> <http://schema.org/name> "Fonctions récursives." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/fonctions_recursives> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/recursive_functions> <http://schema.org/name> "Recursive functions." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/recursive_functions> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica." .
<http://experiment.worldcat.org/entity/work/data/115248605#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/115248605#Topic/logica_matematica> <http://schema.org/name> "Logica matematica." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logica_matematica> <http://schema.org/name> "Lógica matemática." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/fonctions_mathematiques> <http://schema.org/name> "Fonctions (Mathématiques)" .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/fonctions_mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique_symbolique_et_mathematique> <http://schema.org/name> "Logique symbolique et mathématique." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique_symbolique_et_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logica_matematica_textos_introdutorios> <http://schema.org/name> "Logica Matematica (Textos Introdutorios)" .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logica_matematica_textos_introdutorios> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/kiszamithatosag> <http://schema.org/name> "Kiszámíthatóság." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/kiszamithatosag> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logic_symbolic_and_mathematical> <http://schema.org/name> "Logic, Symbolic and mathematical." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logic_symbolic_and_mathematical> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/fondements_des_mathematiques> <http://schema.org/name> "Fondements des mathématiques." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/fondements_des_mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/matematikai_logika> <http://schema.org/name> "Matematikai logika." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/matematikai_logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/lambda_calcul> <http://schema.org/name> "lambda calcul." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/lambda_calcul> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/lambda_calcul> <http://schema.org/name> "Lambda-calcul." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/rachunek_lambda> <http://schema.org/name> "Rachunek lambda." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/rachunek_lambda> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/functions> <http://schema.org/name> "Functions." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/functions> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/calculo_lambda> <http://schema.org/name> "Cálculo lambda." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/calculo_lambda> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/convergence_mathematiques> <http://schema.org/name> "Convergence (mathématiques)." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/convergence_mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/convergence_mathematiques> <http://schema.org/name> "Convergence (mathématiques)" .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique> <http://schema.org/name> "logique." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/115248605.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/115248605> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/829454830> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/rachunek_lambda> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/convergence_mathematiques> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/author> <http://worldcat.org/entity/person/id/2632817385> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "THe calculi of lambda-conversion" .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/38612057> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The calculi of lambda conversion"@en .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The calculi of Lambda-conversion"@en .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The calculi of Lambda-conversion" .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85052327> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/functions> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/38711105> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/51890902> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.worldcat.org/fast/1091984> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/912258371> .
<http://worldcat.org/entity/work/id/115248605> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/216711670> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644419256> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/22090756> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636643264> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/27157411> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.worldcat.org/fast/991011> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/892123660> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2632817385> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/genre> "Lambda-Konversion"@en .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/genre> "Lambda-Konversion" .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The calculi of Lambda-Conversation"@en .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/1290331> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/258564806> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/681087416> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique_mathematique> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/898853124> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911875223> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/222196879> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.worldcat.org/fast/936106> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85112014> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/637612133> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The Calculi of Lambda-Conversion" .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/637345038> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/716516994> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/logic_symbolic_and_mathematical> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/654294219> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The calculi of lambda-conversion. Reprinted with the p permission of the original publishers" .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The calculi of lambda-conversion" .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/263098104> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The calculi of lambda-conversion"@en .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/256023048> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2632817385> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85003487> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/53431402> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/2012983> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85074174> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/856655661> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/fondements_des_mathematiques> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/calculo_lambda> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/10647977> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909533131> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/878758568> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/253564240> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/lambda_calcul> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/fonctions_mathematiques> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/64477282> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/473930060> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/alternateName> "Calculi of lambda conversion"@en .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/904397328> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/fonctions_recursives> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/recursive_functions> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797319184> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472191333> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/name> "The Calculi of lambda-conversion" .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/489866899> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/749469141> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/kiszamithatosag> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/490233325> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/493457634> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/lambda_calculus> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/858331640> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/441086645> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/174528688> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique_symbolique_et_mathematique> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/18404035> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/workExample> <http://www.worldcat.org/oclc/850869538> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/funciones_recursivas> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/matematikai_logika> .
<http://worldcat.org/entity/work/id/115248605> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://id.worldcat.org/fast/805020> .
<http://worldcat.org/entity/work/id/115248605> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/115248605#Topic/logica_matematica_textos_introdutorios> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/lambda_calculus> <http://schema.org/name> "Lambda-calculus." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/lambda_calculus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/funciones_recursivas> <http://schema.org/name> "Funciones recursivas." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/funciones_recursivas> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique_mathematique> <http://schema.org/name> "Logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/115248605#Topic/logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .