<http://id.loc.gov/authorities/names/n79106427> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Authority> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#authoritativeLabel> "Kleene, Stephen Cole, 1909-1994" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#elementList> _:b7iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b7iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b8iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b7iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b010 .
_:b8iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b8iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#elementValue> "Kleene, Stephen Cole," .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b11iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b010 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b11iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b11iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#elementValue> "1909-1994" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasVariant> _:b14iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b14iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#PersonalName> .
_:b14iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Variant> .
_:b14iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#variantLabel> "Kleene, S. C. (Stephen Cole), 1909-1994" .
_:b14iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#elementList> _:b19iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b19iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b20iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b19iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b022 .
_:b20iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b20iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#elementValue> "Kleene, S. C." .
_:b022 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b23iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b022 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:b025 .
_:b23iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#FullNameElement> .
_:b23iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#elementValue> "(Stephen Cole)," .
_:b025 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:b26iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b025 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:b26iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#DateNameElement> .
_:b26iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#elementValue> "1909-1994" .
<http://id.loc.gov/authorities/names/n79106427> <http://id.loc.gov/ontologies/bflc/marcKey> "1001 $aKleene, Stephen Cole,$d1909-1994" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://www.wikidata.org/entity/Q335148> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <http://id.worldcat.org/fast/1721826> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasCloseExternalAuthority> <https://d-nb.info/gnd/136329632> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_NamesAuthorizedHeadings> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection> <http://id.loc.gov/authorities/names/collection_LCNAF> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority> <http://viaf.org/viaf/sourceID/LC%7Cn++79106427#skos:Concept> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#identifiesRWO> <http://id.loc.gov/rwo/agents/n79106427> .
<http://id.loc.gov/rwo/agents/n79106427> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#RWO> .
<http://id.loc.gov/rwo/agents/n79106427> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/n79106427> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/n79106427> <http://www.w3.org/2000/01/rdf-schema#label> "Kleene, Stephen Cole, 1909-1994" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/4645620> .
<http://id.loc.gov/resources/works/4645620> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4645620> <http://id.loc.gov/ontologies/bflc/aap> "Kleene Symposium (1978 : Madison, Wis.) The Kleene Symposium" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/subjectOf> <http://id.loc.gov/resources/works/4645620> .
<http://id.loc.gov/resources/works/4645620> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4645620> <http://id.loc.gov/ontologies/bflc/aap> "Kleene Symposium (1978 : Madison, Wis.) The Kleene Symposium" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/8765299> .
<http://id.loc.gov/resources/works/8765299> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/8765299> <http://id.loc.gov/ontologies/bflc/aap> "Kleene, Stephen Cole, 1909-1994 A theory of positive integers in formal logic" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/16008650> .
<http://id.loc.gov/resources/works/16008650> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16008650> <http://id.loc.gov/ontologies/bflc/aap> "Kleene, Stephen Cole, 1909-1994 Introduction to metamathematics" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/6039338> .
<http://id.loc.gov/resources/works/6039338> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/6039338> <http://id.loc.gov/ontologies/bflc/aap> "Kleene, Stephen Cole, 1909-1994 Introduction to metamathematics" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/12923024> .
<http://id.loc.gov/resources/works/12923024> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/12923024> <http://id.loc.gov/ontologies/bflc/aap> "Kleene, Stephen Cole, 1909-1994 Mathematical logic" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/2642600> .
<http://id.loc.gov/resources/works/2642600> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2642600> <http://id.loc.gov/ontologies/bflc/aap> "Kleene, Stephen Cole, 1909-1994 Mathematical logic" .
<http://id.loc.gov/rwo/agents/n79106427> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/1744268> .
<http://id.loc.gov/resources/works/1744268> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1744268> <http://id.loc.gov/ontologies/bflc/aap> "Kleene, Stephen Cole, 1909-1994 The foundations of intuitionistic mathematics" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme> <http://id.loc.gov/authorities/names> .
<http://id.loc.gov/authorities/names/n79106427> <http://id.loc.gov/vocabulary/identifiers/lccn> "n 79106427" .
<http://id.loc.gov/authorities/names/n79106427> <http://id.loc.gov/vocabulary/identifiers/local> "(OCoLC)oca00338405" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b80iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b80iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b80iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationSource> "A theory of positive integers ... 1935." .
_:b80iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b86iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b86iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b86iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationSource> "Biog. resource center (Contemp. authors), Apr. 17, 2008" .
_:b86iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationNote> "(Stephen Cole Kleene; b. Jan. 5, 1909, Hartford, Conn.; d. Jan. 25, 1994, Madison, Wis.; Princeton University, Ph. D., 1934; University of Wisconsin--Madison, Cyrus C. MacDuffee Professor of Mathematics and Computer Sciences, beginning 1964)" .
_:b86iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#hasSource> _:b94iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b94iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Source> .
_:b94iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationSource> "Two papers on the predicate calculus, 1952:" .
_:b94iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationNote> "t.p. (S.C. Kleene) p. 1 (S.C. Kleene, the University of Wisconsin)" .
_:b94iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.loc.gov/mads/rdf/v1#citationStatus> "found" .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b102iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b102iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b102iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "1979-10-02T00:00:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b102iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "new"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b102iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/dlc> .
_:b102iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .
<http://id.loc.gov/authorities/names/n79106427> <http://www.loc.gov/mads/rdf/v1#adminMetadata> _:b110iddOtlocdOtgovauthoritiesnamesn79106427 .
_:b110iddOtlocdOtgovauthoritiesnamesn79106427 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/RecordInfo#RecordInfo> .
_:b110iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#recordChangeDate> "2009-02-21T07:16:23"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
_:b110iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#recordStatus> "revised"^^<http://www.w3.org/2001/XMLSchema#string> .
_:b110iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#recordContentSource> <http://id.loc.gov/vocabulary/organizations/mosu> .
_:b110iddOtlocdOtgovauthoritiesnamesn79106427 <http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging> <http://id.loc.gov/vocabulary/iso639-2/eng> .