<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/781327635> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : Proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/7671997> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematyka_konstruktywna_konferencje> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/wiskundige_logica> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Organization/conference_on_constructive_mathematics_&lt_1980_las_cruces_nm&gt> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85082139> .
<http://worldcat.org/entity/work/id/862941987> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/423237973> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive Mathematics"@en .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Meeting/constructive_mathematics_1980_08_11_15_1980_las_cruces_n_m> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes_congres> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.worldcat.org/fast/1002068> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85067656> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804638937> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : proceedings of the New Mexico state university conference held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Meeting/conference_on_constructive_mathematics_1980_las_cruces> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_university_conference> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematical_logic_and_foundations> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85078115> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/438753244> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634586352> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Organization/springerlink_service_en_ligne> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Congressi" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematica_constructiva> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/constructive_mathematics> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Llibres electrònics" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematique_constructive> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/257822338> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/310856469> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, august 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktive_mathematik> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.worldcat.org/fast/1012163> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/alternateName> "NEW MEXICO STATE UNIVERSITY CONFERENCE (1980)" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909309791> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics proceedings of the New Mexico state university conference held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797450037> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/783935827> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Organization/constructive_mathematics> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktiv_matematika_tanulmanyok> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/alternateName> "LAS CRUCES CONFERENCE on CONSTRUCTIVE MATHEMATICS (1980)" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/802815412> .
<http://worldcat.org/entity/work/id/862941987> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive Mathematics : proceedings of the New Mexico State University, Conference Held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.worldcat.org/fast/977860> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472066882> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/kongress> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/614416284> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Conference proceedings"@en .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85031452> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/645206664> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_university_las_cruces_n_m> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives_congres> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Congressen (vorm)" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Meeting/new_mexico_state_university_conference_11_08_1980_15_08_1980_las_cruces> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : Conference. proceedings. 11-15 aug 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/472097488> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2634586352> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/congressi_las_cruces_n_m_1980> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/612113886> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuicjonizm_matematyczny_konferencje> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_univ_las_cruces_nm> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/466102990> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive Mathematics Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuitionistic_mathematics> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://id.worldcat.org/fast/876172> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/793078683> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/750787575> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/288912965> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/genre> "Kongress" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematicas_constructivas_congresos> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematica> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : proceedings of the New Mexico State university conference, held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : proceedings of the New Mexico State Univ. conference, held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics : proceedings of the New Mexico State Univ. conference held at Las Cruces, New Mexico, Aug. 11 - 15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuicionizmus_a_matematikaban> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2634586352> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980"@en .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/name> "Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980" .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/862941987#Topic/logica_simbolica_congressi_1980> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/838035590> .
<http://worldcat.org/entity/work/id/862941987> <http://schema.org/workExample> <http://www.worldcat.org/oclc/610010392> .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_univ_las_cruces_nm> <http://schema.org/name> "NEW MEXICO STATE UNIV LAS CRUCES NM." .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_univ_las_cruces_nm> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuicionizmus_a_matematikaban> <http://schema.org/name> "Intuicionizmus a matematikában." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuicionizmus_a_matematikaban> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_university_las_cruces_n_m> <http://schema.org/name> "New Mexico State University (Las Cruces, N.M.)" .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_university_las_cruces_n_m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematyka_konstruktywna_konferencje> <http://schema.org/name> "Matematyka konstruktywna konferencje." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematyka_konstruktywna_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/constructive_mathematics> <http://schema.org/name> "Constructive mathematics." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/constructive_mathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/constructive_mathematics> <http://schema.org/name> "Constructive Mathematics." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes> <http://schema.org/name> "Mathématiques intuitionnistes." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematicas_constructivas_congresos> <http://schema.org/name> "Matematicas constructivas Congresos." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematicas_constructivas_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/conference_on_constructive_mathematics_&lt_1980_las_cruces_nm&gt> <http://schema.org/name> "Conference on Constructive Mathematics. &lt;1980, Las Cruces, NM&gt;." .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/conference_on_constructive_mathematics_&lt_1980_las_cruces_nm&gt> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives_congres> <http://schema.org/name> "Mathématiques constructives Congrès." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/kongress> <http://schema.org/name> "Kongress." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_university_conference> <http://schema.org/name> "New Mexico State University. Conference" .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/new_mexico_state_university_conference> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes_congres> <http://schema.org/name> "Mathématiques intuitionnistes Congrès." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes_congres> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica." .
<http://experiment.worldcat.org/entity/work/data/862941987#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/862941987#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica" .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/constructive_mathematics_1980_08_11_15_1980_las_cruces_n_m> <http://schema.org/name> "Constructive mathematics (1980.08.11-15 : 1980. Las Cruces, N.M.)" .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/constructive_mathematics_1980_08_11_15_1980_las_cruces_n_m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/constructive_mathematics_1980_08_11_15_1980_las_cruces_n_m> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematique_constructive> <http://schema.org/name> "Mathématique constructive." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematique_constructive> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/new_mexico_state_university_conference_11_08_1980_15_08_1980_las_cruces> <http://schema.org/name> "New Mexico State University conference (11-08-1980 - 15-08-1980 : Las Cruces)" .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/new_mexico_state_university_conference_11_08_1980_15_08_1980_las_cruces> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/new_mexico_state_university_conference_11_08_1980_15_08_1980_las_cruces> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/conference_on_constructive_mathematics_1980_las_cruces> <http://schema.org/name> "Conference on Constructive Mathematics (1980 : Las Cruces)" .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/conference_on_constructive_mathematics_1980_las_cruces> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/conference_on_constructive_mathematics_1980_las_cruces> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/862941987#Meeting/conference_on_constructive_mathematics_1980_las_cruces> <http://schema.org/name> "Conference on constructive mathematics (1980 : Las Cruces)" .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematica> <http://schema.org/name> "Matemàtica." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktive_mathematik> <http://schema.org/name> "Konstruktive Mathematik." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktive_mathematik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuicjonizm_matematyczny_konferencje> <http://schema.org/name> "Intuicjonizm matematyczny konferencje." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuicjonizm_matematyczny_konferencje> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematica_constructiva> <http://schema.org/name> "Matemàtica constructiva." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/matematica_constructiva> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/862941987.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/862941987> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/wiskundige_logica> <http://schema.org/name> "Wiskundige logica." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/wiskundige_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/springerlink_service_en_ligne> <http://schema.org/name> "SpringerLink (Service en ligne)" .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/springerlink_service_en_ligne> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematical_logic_and_foundations> <http://schema.org/name> "Mathematical Logic and Foundations." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematical_logic_and_foundations> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/congressi_las_cruces_n_m_1980> <http://schema.org/name> "Congressi - Las Cruces, N.M. - 1980." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/congressi_las_cruces_n_m_1980> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives> <http://schema.org/name> "Mathématiques constructives." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/constructive_mathematics> <http://schema.org/name> "Constructive mathematics" .
<http://experiment.worldcat.org/entity/work/data/862941987#Organization/constructive_mathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktiv_matematika_tanulmanyok> <http://schema.org/name> "Konstruktív matematika tanulmányok." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktiv_matematika_tanulmanyok> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuitionistic_mathematics> <http://schema.org/name> "Intuitionistic mathematics." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuitionistic_mathematics> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/intuitionistic_mathematics> <http://schema.org/name> "Intuitionistic Mathematics." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/logica_simbolica_congressi_1980> <http://schema.org/name> "Logica simbolica - Congressi - 1980." .
<http://experiment.worldcat.org/entity/work/data/862941987#Topic/logica_simbolica_congressi_1980> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .