<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Logic, Symbolic and mathematical"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode7authoritiessubjectssh85078115 . 
_:bnode7authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode8authoritiessubjectssh85078115 . 
_:bnode7authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode8authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode8authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementValue> "Logic, Symbolic and mathematical"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority> <http://id.loc.gov/authorities/subjects/sh85082139> . 
<http://id.loc.gov/authorities/subjects/sh85082139> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85082139> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85082139> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85082139> <http://www.w3.org/2000/01/rdf-schema#label> "Mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh2005002411> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Reverse mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/2000/01/rdf-schema#label> "Reverse mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85131299> . 
<http://id.loc.gov/authorities/subjects/sh85131299> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85131299> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85131299> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Switching theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85131299> <http://www.w3.org/2000/01/rdf-schema#label> "Switching theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority> <http://id.loc.gov/authorities/subjects/sh85003428> . 
<http://id.loc.gov/authorities/subjects/sh85003428> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85003428> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85003428> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Algebra, Abstract"@en . 
<http://id.loc.gov/authorities/subjects/sh85003428> <http://www.w3.org/2000/01/rdf-schema#label> "Algebra, Abstract"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85144049> . 
<http://id.loc.gov/authorities/subjects/sh85144049> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85144049> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85144049> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "VL1 system"@en . 
<http://id.loc.gov/authorities/subjects/sh85144049> <http://www.w3.org/2000/01/rdf-schema#label> "VL1 system"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85066097> . 
<http://id.loc.gov/authorities/subjects/sh85066097> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85066097> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85066097> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Infinitary languages"@en . 
<http://id.loc.gov/authorities/subjects/sh85066097> <http://www.w3.org/2000/01/rdf-schema#label> "Infinitary languages"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh93006704> . 
<http://id.loc.gov/authorities/subjects/sh93006704> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh93006704> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh93006704> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Fuzzy logic"@en . 
<http://id.loc.gov/authorities/subjects/sh93006704> <http://www.w3.org/2000/01/rdf-schema#label> "Fuzzy logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority> <http://id.loc.gov/authorities/subjects/sh85120387> . 
<http://id.loc.gov/authorities/subjects/sh85120387> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85120387> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85120387> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Set theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85120387> <http://www.w3.org/2000/01/rdf-schema#label> "Set theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85036191> . 
<http://id.loc.gov/authorities/subjects/sh85036191> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85036191> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85036191> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Decidability (Mathematical logic)"@en . 
<http://id.loc.gov/authorities/subjects/sh85036191> <http://www.w3.org/2000/01/rdf-schema#label> "Decidability (Mathematical logic)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh2001002954> . 
<http://id.loc.gov/authorities/subjects/sh2001002954> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh2001002954> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh2001002954> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Curry-Howard isomorphism"@en . 
<http://id.loc.gov/authorities/subjects/sh2001002954> <http://www.w3.org/2000/01/rdf-schema#label> "Curry-Howard isomorphism"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85031452> . 
<http://id.loc.gov/authorities/subjects/sh85031452> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85031452> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85031452> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Constructive mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85031452> <http://www.w3.org/2000/01/rdf-schema#label> "Constructive mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85138285> . 
<http://id.loc.gov/authorities/subjects/sh85138285> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85138285> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85138285> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Truth-functions"@en . 
<http://id.loc.gov/authorities/subjects/sh85138285> <http://www.w3.org/2000/01/rdf-schema#label> "Truth-functions"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85106058> . 
<http://id.loc.gov/authorities/subjects/sh85106058> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85106058> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85106058> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Pragmatics"@en . 
<http://id.loc.gov/authorities/subjects/sh85106058> <http://www.w3.org/2000/01/rdf-schema#label> "Pragmatics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85079341> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Machine theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/2000/01/rdf-schema#label> "Machine theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85074174> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Lambda calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/2000/01/rdf-schema#label> "Lambda calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85139126> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Type theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2000/01/rdf-schema#label> "Type theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh90001516> . 
<http://id.loc.gov/authorities/subjects/sh90001516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh90001516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh90001516> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "WFF 'N PROOF (Game)"@en . 
<http://id.loc.gov/authorities/subjects/sh90001516> <http://www.w3.org/2000/01/rdf-schema#label> "WFF 'N PROOF (Game)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85064829> . 
<http://id.loc.gov/authorities/subjects/sh85064829> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85064829> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85064829> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Independence (Mathematics)"@en . 
<http://id.loc.gov/authorities/subjects/sh85064829> <http://www.w3.org/2000/01/rdf-schema#label> "Independence (Mathematics)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85055601> . 
<http://id.loc.gov/authorities/subjects/sh85055601> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85055601> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85055601> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Gödel's theorem"@en . 
<http://id.loc.gov/authorities/subjects/sh85055601> <http://www.w3.org/2000/01/rdf-schema#label> "Gödel's theorem"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85106251> . 
<http://id.loc.gov/authorities/subjects/sh85106251> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85106251> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85106251> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Predicate calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85106251> <http://www.w3.org/2000/01/rdf-schema#label> "Predicate calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh97004631> . 
<http://id.loc.gov/authorities/subjects/sh97004631> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh97004631> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh97004631> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Computer logic"@en . 
<http://id.loc.gov/authorities/subjects/sh97004631> <http://www.w3.org/2000/01/rdf-schema#label> "Computer logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority> <http://id.loc.gov/authorities/subjects/sh85131387> . 
<http://id.loc.gov/authorities/subjects/sh85131387> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85131387> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85131387> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Syllogism"@en . 
<http://id.loc.gov/authorities/subjects/sh85131387> <http://www.w3.org/2000/01/rdf-schema#label> "Syllogism"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85086421> . 
<http://id.loc.gov/authorities/subjects/sh85086421> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85086421> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85086421> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Model theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85086421> <http://www.w3.org/2000/01/rdf-schema#label> "Model theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85077180> . 
<http://id.loc.gov/authorities/subjects/sh85077180> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85077180> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85077180> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Linear orderings"@en . 
<http://id.loc.gov/authorities/subjects/sh85077180> <http://www.w3.org/2000/01/rdf-schema#label> "Linear orderings"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85036457> . 
<http://id.loc.gov/authorities/subjects/sh85036457> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85036457> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85036457> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Definability theory (Mathematical logic)"@en . 
<http://id.loc.gov/authorities/subjects/sh85036457> <http://www.w3.org/2000/01/rdf-schema#label> "Definability theory (Mathematical logic)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85135048> . 
<http://id.loc.gov/authorities/subjects/sh85135048> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85135048> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85135048> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Threshold logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85135048> <http://www.w3.org/2000/01/rdf-schema#label> "Threshold logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85078122> . 
<http://id.loc.gov/authorities/subjects/sh85078122> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85078122> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85078122> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Logic machines"@en . 
<http://id.loc.gov/authorities/subjects/sh85078122> <http://www.w3.org/2000/01/rdf-schema#label> "Logic machines"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85107437> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Proof theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2000/01/rdf-schema#label> "Proof theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh2005007311> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Hoare logic"@en . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2000/01/rdf-schema#label> "Hoare logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85118577> . 
<http://id.loc.gov/authorities/subjects/sh85118577> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#ComplexSubject> . 
<http://id.loc.gov/authorities/subjects/sh85118577> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85118577> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Science--Methodology"@en . 
<http://id.loc.gov/authorities/subjects/sh85118577> <http://www.w3.org/2000/01/rdf-schema#label> "Science--Methodology"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85119877> . 
<http://id.loc.gov/authorities/subjects/sh85119877> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85119877> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85119877> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Semantics (Philosophy)"@en . 
<http://id.loc.gov/authorities/subjects/sh85119877> <http://www.w3.org/2000/01/rdf-schema#label> "Semantics (Philosophy)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85020992> . 
<http://id.loc.gov/authorities/subjects/sh85020992> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85020992> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85020992> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Categories (Mathematics)"@en . 
<http://id.loc.gov/authorities/subjects/sh85020992> <http://www.w3.org/2000/01/rdf-schema#label> "Categories (Mathematics)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh88001752> . 
<http://id.loc.gov/authorities/subjects/sh88001752> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh88001752> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh88001752> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Matrix logic"@en . 
<http://id.loc.gov/authorities/subjects/sh88001752> <http://www.w3.org/2000/01/rdf-schema#label> "Matrix logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85112012> . 
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Recursion theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2000/01/rdf-schema#label> "Recursion theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85003435> . 
<http://id.loc.gov/authorities/subjects/sh85003435> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85003435> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85003435> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Algebraic logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85003435> <http://www.w3.org/2000/01/rdf-schema#label> "Algebraic logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85112014> . 
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Recursive functions"@en . 
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/2000/01/rdf-schema#label> "Recursive functions"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85107553> . 
<http://id.loc.gov/authorities/subjects/sh85107553> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85107553> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85107553> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Propositional calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85107553> <http://www.w3.org/2000/01/rdf-schema#label> "Propositional calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85048595> . 
<http://id.loc.gov/authorities/subjects/sh85048595> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85048595> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85048595> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "First-order logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85048595> <http://www.w3.org/2000/01/rdf-schema#label> "First-order logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85000933> . 
<http://id.loc.gov/authorities/subjects/sh85000933> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85000933> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85000933> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Admissible sets"@en . 
<http://id.loc.gov/authorities/subjects/sh85000933> <http://www.w3.org/2000/01/rdf-schema#label> "Admissible sets"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85028814> . 
<http://id.loc.gov/authorities/subjects/sh85028814> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85028814> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85028814> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Combinatory logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85028814> <http://www.w3.org/2000/01/rdf-schema#label> "Combinatory logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority> <http://id.loc.gov/authorities/subjects/sh85084269> . 
<http://id.loc.gov/authorities/subjects/sh85084269> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85084269> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85084269> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Metamathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85084269> <http://www.w3.org/2000/01/rdf-schema#label> "Metamathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85092240> . 
<http://id.loc.gov/authorities/subjects/sh85092240> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85092240> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85092240> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Nonclassical mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85092240> <http://www.w3.org/2000/01/rdf-schema#label> "Nonclassical mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85029525> . 
<http://id.loc.gov/authorities/subjects/sh85029525> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#ComplexSubject> . 
<http://id.loc.gov/authorities/subjects/sh85029525> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85029525> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Computer programs--Correctness"@en . 
<http://id.loc.gov/authorities/subjects/sh85029525> <http://www.w3.org/2000/01/rdf-schema#label> "Computer programs--Correctness"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85029362> . 
<http://id.loc.gov/authorities/subjects/sh85029362> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85029362> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85029362> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Completeness theorem"@en . 
<http://id.loc.gov/authorities/subjects/sh85029362> <http://www.w3.org/2000/01/rdf-schema#label> "Completeness theorem"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85055600> . 
<http://id.loc.gov/authorities/subjects/sh85055600> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85055600> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85055600> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Gödel numbers"@en . 
<http://id.loc.gov/authorities/subjects/sh85055600> <http://www.w3.org/2000/01/rdf-schema#label> "Gödel numbers"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh85010588> . 
<http://id.loc.gov/authorities/subjects/sh85010588> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh85010588> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh85010588> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Axiomatic set theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85010588> <http://www.w3.org/2000/01/rdf-schema#label> "Axiomatic set theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority> <http://id.loc.gov/authorities/subjects/sh98004249> . 
<http://id.loc.gov/authorities/subjects/sh98004249> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
<http://id.loc.gov/authorities/subjects/sh98004249> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> . 
<http://id.loc.gov/authorities/subjects/sh98004249> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Quasivarieties (Universal algebra)"@en . 
<http://id.loc.gov/authorities/subjects/sh98004249> <http://www.w3.org/2000/01/rdf-schema#label> "Quasivarieties (Universal algebra)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11965690r> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#classification> "BC131-BC135" . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#classification> "QA9-QA10.3" . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSHAuthorizedHeadings> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/subjects/collection_LCSH_General> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode348authoritiessubjectssh85078115 . 
_:bnode348authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode348authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode348authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Algebra of logic"@en . 
_:bnode348authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode353authoritiessubjectssh85078115 . 
_:bnode353authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode354authoritiessubjectssh85078115 . 
_:bnode353authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode354authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode354authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementValue> "Algebra of logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode357authoritiessubjectssh85078115 . 
_:bnode357authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode357authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode357authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Logic, Universal"@en . 
_:bnode357authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode362authoritiessubjectssh85078115 . 
_:bnode362authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode363authoritiessubjectssh85078115 . 
_:bnode362authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode363authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode363authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementValue> "Logic, Universal"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode366authoritiessubjectssh85078115 . 
_:bnode366authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode366authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode366authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Mathematical logic"@en . 
_:bnode366authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode371authoritiessubjectssh85078115 . 
_:bnode371authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode372authoritiessubjectssh85078115 . 
_:bnode371authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode372authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode372authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementValue> "Mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode375authoritiessubjectssh85078115 . 
_:bnode375authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode375authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode375authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Symbolic and mathematical logic"@en . 
_:bnode375authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode380authoritiessubjectssh85078115 . 
_:bnode380authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode381authoritiessubjectssh85078115 . 
_:bnode380authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode381authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode381authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementValue> "Symbolic and mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:bnode384authoritiessubjectssh85078115 . 
_:bnode384authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Topic> . 
_:bnode384authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> . 
_:bnode384authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Symbolic logic"@en . 
_:bnode384authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementList> _:bnode389authoritiessubjectssh85078115 . 
_:bnode389authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:bnode390authoritiessubjectssh85078115 . 
_:bnode389authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> . 
_:bnode390authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#TopicElement> . 
_:bnode390authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#elementValue> "Symbolic logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2002/07/owl#sameAs> <info:lc/authorities/sh85078115> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2002/07/owl#sameAs> <http://id.loc.gov/authorities/sh85078115#concept> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasSource> _:bnode395authoritiessubjectssh85078115 . 
_:bnode395authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> . 
_:bnode395authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#citation-source> "Copi, I. M. Symbolic logic, 1979." . 
_:bnode395authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#citation-status> "found" . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#hasSource> _:bnode401authoritiessubjectssh85078115 . 
_:bnode401authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> . 
_:bnode401authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#citation-source> "Web. 3" . 
_:bnode401authoritiessubjectssh85078115 <http://www.loc.gov/mads/rdf/v1#citation-status> "found" . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:bnode407authoritiessubjectssh85078115 . 
_:bnode407authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> . 
_:bnode407authoritiessubjectssh85078115 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode407authoritiessubjectssh85078115 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> . 
_:bnode407authoritiessubjectssh85078115 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:bnode414authoritiessubjectssh85078115 . 
_:bnode414authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> . 
_:bnode414authoritiessubjectssh85078115 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1999-10-05T06:51:35"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode414authoritiessubjectssh85078115 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> . 
_:bnode414authoritiessubjectssh85078115 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#prefLabel> "Logic, Symbolic and mathematical"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2008/05/skos-xl#altLabel> _:bnode424authoritiessubjectssh85078115 . 
_:bnode424authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> . 
_:bnode424authoritiessubjectssh85078115 <http://www.w3.org/2008/05/skos-xl#literalForm> "Algebra of logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2008/05/skos-xl#altLabel> _:bnode429authoritiessubjectssh85078115 . 
_:bnode429authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> . 
_:bnode429authoritiessubjectssh85078115 <http://www.w3.org/2008/05/skos-xl#literalForm> "Logic, Universal"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2008/05/skos-xl#altLabel> _:bnode434authoritiessubjectssh85078115 . 
_:bnode434authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> . 
_:bnode434authoritiessubjectssh85078115 <http://www.w3.org/2008/05/skos-xl#literalForm> "Mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2008/05/skos-xl#altLabel> _:bnode439authoritiessubjectssh85078115 . 
_:bnode439authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> . 
_:bnode439authoritiessubjectssh85078115 <http://www.w3.org/2008/05/skos-xl#literalForm> "Symbolic and mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2008/05/skos-xl#altLabel> _:bnode444authoritiessubjectssh85078115 . 
_:bnode444authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2008/05/skos-xl#Label> . 
_:bnode444authoritiessubjectssh85078115 <http://www.w3.org/2008/05/skos-xl#literalForm> "Symbolic logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#broader> <http://id.loc.gov/authorities/subjects/sh85082139> . 
<http://id.loc.gov/authorities/subjects/sh85082139> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85082139> <http://www.w3.org/2004/02/skos/core#prefLabel> "Mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh2005002411> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh2005002411> <http://www.w3.org/2004/02/skos/core#prefLabel> "Reverse mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85131299> . 
<http://id.loc.gov/authorities/subjects/sh85131299> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85131299> <http://www.w3.org/2004/02/skos/core#prefLabel> "Switching theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85144049> . 
<http://id.loc.gov/authorities/subjects/sh85144049> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85144049> <http://www.w3.org/2004/02/skos/core#prefLabel> "VL1 system"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85066097> . 
<http://id.loc.gov/authorities/subjects/sh85066097> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85066097> <http://www.w3.org/2004/02/skos/core#prefLabel> "Infinitary languages"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh93006704> . 
<http://id.loc.gov/authorities/subjects/sh93006704> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh93006704> <http://www.w3.org/2004/02/skos/core#prefLabel> "Fuzzy logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85036191> . 
<http://id.loc.gov/authorities/subjects/sh85036191> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85036191> <http://www.w3.org/2004/02/skos/core#prefLabel> "Decidability (Mathematical logic)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh2001002954> . 
<http://id.loc.gov/authorities/subjects/sh2001002954> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh2001002954> <http://www.w3.org/2004/02/skos/core#prefLabel> "Curry-Howard isomorphism"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85031452> . 
<http://id.loc.gov/authorities/subjects/sh85031452> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85031452> <http://www.w3.org/2004/02/skos/core#prefLabel> "Constructive mathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85138285> . 
<http://id.loc.gov/authorities/subjects/sh85138285> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85138285> <http://www.w3.org/2004/02/skos/core#prefLabel> "Truth-functions"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85106058> . 
<http://id.loc.gov/authorities/subjects/sh85106058> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85106058> <http://www.w3.org/2004/02/skos/core#prefLabel> "Pragmatics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85079341> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85079341> <http://www.w3.org/2004/02/skos/core#prefLabel> "Machine theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85074174> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85074174> <http://www.w3.org/2004/02/skos/core#prefLabel> "Lambda calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85139126> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85139126> <http://www.w3.org/2004/02/skos/core#prefLabel> "Type theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh90001516> . 
<http://id.loc.gov/authorities/subjects/sh90001516> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh90001516> <http://www.w3.org/2004/02/skos/core#prefLabel> "WFF 'N PROOF (Game)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85064829> . 
<http://id.loc.gov/authorities/subjects/sh85064829> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85064829> <http://www.w3.org/2004/02/skos/core#prefLabel> "Independence (Mathematics)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85055601> . 
<http://id.loc.gov/authorities/subjects/sh85055601> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85055601> <http://www.w3.org/2004/02/skos/core#prefLabel> "Gödel's theorem"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85106251> . 
<http://id.loc.gov/authorities/subjects/sh85106251> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85106251> <http://www.w3.org/2004/02/skos/core#prefLabel> "Predicate calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh97004631> . 
<http://id.loc.gov/authorities/subjects/sh97004631> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh97004631> <http://www.w3.org/2004/02/skos/core#prefLabel> "Computer logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85086421> . 
<http://id.loc.gov/authorities/subjects/sh85086421> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85086421> <http://www.w3.org/2004/02/skos/core#prefLabel> "Model theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85077180> . 
<http://id.loc.gov/authorities/subjects/sh85077180> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85077180> <http://www.w3.org/2004/02/skos/core#prefLabel> "Linear orderings"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85036457> . 
<http://id.loc.gov/authorities/subjects/sh85036457> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85036457> <http://www.w3.org/2004/02/skos/core#prefLabel> "Definability theory (Mathematical logic)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85135048> . 
<http://id.loc.gov/authorities/subjects/sh85135048> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85135048> <http://www.w3.org/2004/02/skos/core#prefLabel> "Threshold logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85078122> . 
<http://id.loc.gov/authorities/subjects/sh85078122> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85078122> <http://www.w3.org/2004/02/skos/core#prefLabel> "Logic machines"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85107437> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85107437> <http://www.w3.org/2004/02/skos/core#prefLabel> "Proof theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh2005007311> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh2005007311> <http://www.w3.org/2004/02/skos/core#prefLabel> "Hoare logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85118577> . 
<http://id.loc.gov/authorities/subjects/sh85118577> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85118577> <http://www.w3.org/2004/02/skos/core#prefLabel> "Science--Methodology"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85119877> . 
<http://id.loc.gov/authorities/subjects/sh85119877> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85119877> <http://www.w3.org/2004/02/skos/core#prefLabel> "Semantics (Philosophy)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85020992> . 
<http://id.loc.gov/authorities/subjects/sh85020992> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85020992> <http://www.w3.org/2004/02/skos/core#prefLabel> "Categories (Mathematics)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh88001752> . 
<http://id.loc.gov/authorities/subjects/sh88001752> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh88001752> <http://www.w3.org/2004/02/skos/core#prefLabel> "Matrix logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85112012> . 
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85112012> <http://www.w3.org/2004/02/skos/core#prefLabel> "Recursion theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85003435> . 
<http://id.loc.gov/authorities/subjects/sh85003435> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85003435> <http://www.w3.org/2004/02/skos/core#prefLabel> "Algebraic logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85112014> . 
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85112014> <http://www.w3.org/2004/02/skos/core#prefLabel> "Recursive functions"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85107553> . 
<http://id.loc.gov/authorities/subjects/sh85107553> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85107553> <http://www.w3.org/2004/02/skos/core#prefLabel> "Propositional calculus"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85048595> . 
<http://id.loc.gov/authorities/subjects/sh85048595> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85048595> <http://www.w3.org/2004/02/skos/core#prefLabel> "First-order logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85000933> . 
<http://id.loc.gov/authorities/subjects/sh85000933> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85000933> <http://www.w3.org/2004/02/skos/core#prefLabel> "Admissible sets"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85028814> . 
<http://id.loc.gov/authorities/subjects/sh85028814> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85028814> <http://www.w3.org/2004/02/skos/core#prefLabel> "Combinatory logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85092240> . 
<http://id.loc.gov/authorities/subjects/sh85092240> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85092240> <http://www.w3.org/2004/02/skos/core#prefLabel> "Nonclassical mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85029525> . 
<http://id.loc.gov/authorities/subjects/sh85029525> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85029525> <http://www.w3.org/2004/02/skos/core#prefLabel> "Computer programs--Correctness"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85029362> . 
<http://id.loc.gov/authorities/subjects/sh85029362> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85029362> <http://www.w3.org/2004/02/skos/core#prefLabel> "Completeness theorem"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85055600> . 
<http://id.loc.gov/authorities/subjects/sh85055600> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85055600> <http://www.w3.org/2004/02/skos/core#prefLabel> "Gödel numbers"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh85010588> . 
<http://id.loc.gov/authorities/subjects/sh85010588> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85010588> <http://www.w3.org/2004/02/skos/core#prefLabel> "Axiomatic set theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#narrower> <http://id.loc.gov/authorities/subjects/sh98004249> . 
<http://id.loc.gov/authorities/subjects/sh98004249> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh98004249> <http://www.w3.org/2004/02/skos/core#prefLabel> "Quasivarieties (Universal algebra)"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#related> <http://id.loc.gov/authorities/subjects/sh85003428> . 
<http://id.loc.gov/authorities/subjects/sh85003428> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85003428> <http://www.w3.org/2004/02/skos/core#prefLabel> "Algebra, Abstract"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#related> <http://id.loc.gov/authorities/subjects/sh85120387> . 
<http://id.loc.gov/authorities/subjects/sh85120387> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85120387> <http://www.w3.org/2004/02/skos/core#prefLabel> "Set theory"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#related> <http://id.loc.gov/authorities/subjects/sh85131387> . 
<http://id.loc.gov/authorities/subjects/sh85131387> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85131387> <http://www.w3.org/2004/02/skos/core#prefLabel> "Syllogism"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#related> <http://id.loc.gov/authorities/subjects/sh85084269> . 
<http://id.loc.gov/authorities/subjects/sh85084269> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> . 
<http://id.loc.gov/authorities/subjects/sh85084269> <http://www.w3.org/2004/02/skos/core#prefLabel> "Metamathematics"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#exactMatch> <http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11965690r> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#inScheme> <http://id.loc.gov/authorities/subjects> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#altLabel> "Algebra of logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#altLabel> "Logic, Universal"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#altLabel> "Mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#altLabel> "Symbolic and mathematical logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#altLabel> "Symbolic logic"@en . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#changeNote> _:bnode696authoritiessubjectssh85078115 . 
_:bnode696authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> . 
_:bnode696authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh85078115> . 
_:bnode696authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#creatorName> "Library of Congress, Network Development and MARC Standards Office" . 
_:bnode696authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#createdDate> "1986-02-11T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode696authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#changeReason> "new"^^<http://www.w3.org/2001/XMLSchema#string> . 
<http://id.loc.gov/authorities/subjects/sh85078115> <http://www.w3.org/2004/02/skos/core#changeNote> _:bnode705authoritiessubjectssh85078115 . 
_:bnode705authoritiessubjectssh85078115 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/vocab/changeset/schema#ChangeSet> . 
_:bnode705authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#subjectOfChange> <http://id.loc.gov/authorities/subjects/sh85078115> . 
_:bnode705authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#creatorName> "Library of Congress, Network Development and MARC Standards Office" . 
_:bnode705authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#createdDate> "1999-10-05T06:51:35"^^<http://www.w3.org/2001/XMLSchema#dateTime> . 
_:bnode705authoritiessubjectssh85078115 <http://purl.org/vocab/changeset/schema#changeReason> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .