http://dblp.rkbexplorer.com/id/people-f5a27ff553f826ba8e28e478ca615068-d99515d88fa6c1c679fa7ed41353dd23
full-name: George D. W. Berry
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7d9584163ceb70425693d53c882d4f12-e25b73c715c415f968aa7d24a3e756aa
full-name: Ray H. Dotterer
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-b4bf0548a31885f6c2f5aa1ff50755d9-839559f636c0e635c1462669eb2b8cb1
full-name: C. H. Langford
type: Person
type: Thing

Tarski41
has-title: On the Calculus of Relations.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183389240
type: Article-Reference
has-volume: 6
has-date: http://www.aktors.org/ontology/date#1941

Tarski41
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183389240
has-title: On the Calculus of Relations.
type: Thing
has-volume: 6
has-date: http://www.aktors.org/ontology/date#1941

Fitch41
has-title: Closure and Quine's *101.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183389189
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1941
has-volume: 6

http://dblp.rkbexplorer.com/id/people-c1b856bfc4a7adb286b9c70c1e9d4928-1959689da2e2cf6e2a623dd386f9e269
full-name: J. C. C. McKinsey
type: Person
type: Thing

Dotterer41
has-title: A Generalization of the Antilogism.
type: Thing
type: Article-Reference
has-volume: 6
has-date: http://www.aktors.org/ontology/date#1941
has-web-address: http://projecteuclid.org/euclid.jsl/1183389241

Quine41
has-date: http://www.aktors.org/ontology/date#1941
has-volume: 6
type: Thing
has-title: Element and Number.
has-web-address: http://projecteuclid.org/euclid.jsl/1183389276
type: Article-Reference

Langford41a
has-volume: 6
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183389299
has-date: http://www.aktors.org/ontology/date#1941
has-title: List of Officers and Members of the Association for Symbolic Logic.
type: Article-Reference

http://dblp.rkbexplorer.com/id/journals-cd761b4aebc5ac2ad8d181327497e7b1
has-title: J. Symb. Log.
type: Journal
type: Thing

Curry41
type: Thing
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183389213
has-title: A Revision of the Fundamental Rules of Combinatory Logic.
has-date: http://www.aktors.org/ontology/date#1941
has-volume: 6

Goodman41
has-volume: 6
has-web-address: http://projecteuclid.org/euclid.jsl/1183389277
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1941
has-title: Sequences.
type: Thing

Goodman41
has-title: Sequences.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1941
has-volume: 6
has-web-address: http://projecteuclid.org/euclid.jsl/1183389277

http://dblp.rkbexplorer.com/id/people-236992e7330767d1077bb27a6912b358-463663bd8cb3415f5a3296c508841e51
full-name: Alfred Tarski
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-a287f1da7a236676fe9a136254ccf1a8-f33127f76462ab155918cc43a942477c
full-name: Paul Bernays
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-f506922a6a041e1332a503809137d194-24c6e0fcefd3497e372f6a7dfedeb236
full-name: J. Barkley Rosser
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7462c358b5385b45c6cdbc1952bd2c48-7d54ae13a8a12be6cd34a1fd8990547c
full-name: Frederic Brenton Fitch
type: Person
type: Thing

Curry41a
has-date: http://www.aktors.org/ontology/date#1941
has-volume: 6
type: Thing
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183389214
has-title: Consistency and Completeness of the Theory of Combinators.

Curry41a
has-title: Consistency and Completeness of the Theory of Combinators.
has-volume: 6
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1941
has-web-address: http://projecteuclid.org/euclid.jsl/1183389214

Berry41
has-title: On Quine's Axioms of Quantification.
has-volume: 6
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1941
has-web-address: http://projecteuclid.org/euclid.jsl/1183389190

Fitch41
has-volume: 6
has-web-address: http://projecteuclid.org/euclid.jsl/1183389189
has-title: Closure and Quine's *101.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1941
type: Thing

Quine41
has-date: http://www.aktors.org/ontology/date#1941
has-title: Element and Number.
has-web-address: http://projecteuclid.org/euclid.jsl/1183389276
type: Article-Reference
type: Thing
has-volume: 6

DBLP : dblp-publications.rdf
title: DBLP : dblp-publications-1941.rdf
creator: ReSIST Project
creator: Christopher Franklin
description: This ontology contains information detailing publications from dblp
type: Thing
type: Ontology
imports: extension
imports: portal

Ducasse36
has-web-address: http://projecteuclid.org/euclid.jsl/1183389299
has-date: http://www.aktors.org/ontology/date#1941
type: Thing
type: Article-Reference
has-volume: 6
has-title: List of Officers and Members of the Association for Symbolic Logic.

http://dblp.rkbexplorer.com/id/people-1c3ad565134b0e58c4060c05057ba7f2-2620832503f1de39f3001acc36402551
full-name: Nelson Goodman
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-b4bf0548a31885f6c2f5aa1ff50755d9-e1a2b9c174015dab55187f33e6df471a
full-name: C. H. Langford
type: Person
type: Thing

Berry41
has-date: http://www.aktors.org/ontology/date#1941
has-title: On Quine's Axioms of Quantification.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183389190
type: Article-Reference
has-volume: 6

http://dblp.rkbexplorer.com/id/people-93273e6ac005482dd7d2ea546f42dd97-d59be6936545493a90f442018b7ad459
full-name: Haskell B. Curry
type: Person
type: Thing

www.aktors.org
title: Turning Shoe Information to Knowledge of Technology and Deals
site name: Aktors
locale: en_US
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
type: website
type: Thing

Langford41
has-date: http://www.aktors.org/ontology/date#1941
type: Thing
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183389278
has-volume: 6
has-title: Note on a Device of Quine and Goodman.

Rosser41
has-date: http://www.aktors.org/ontology/date#1941
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183389242
type: Article-Reference
has-volume: 6
has-title: The Independence of Quine's Axioms *200 and *201.

http://www.aktors.org/ontology/date#1941
year-of: 1941
type: Calendar-Date
type: Thing

Curry41
type: Article-Reference
has-title: A Revision of the Fundamental Rules of Combinatory Logic.
has-volume: 6
has-web-address: http://projecteuclid.org/euclid.jsl/1183389213
has-date: http://www.aktors.org/ontology/date#1941
type: Thing

McKinsey41
type: Thing
has-date: http://www.aktors.org/ontology/date#1941
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183389275
has-title: A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology.
has-volume: 6

Langford41
has-web-address: http://projecteuclid.org/euclid.jsl/1183389278
has-title: Note on a Device of Quine and Goodman.
has-date: http://www.aktors.org/ontology/date#1941
has-volume: 6
type: Thing
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-f3d31862c2683035094896259da9db7f-c2ca6449008287449be0adc5b392745b
full-name: W. V. Quine
type: Person
type: Thing

Bernays41
has-web-address: http://projecteuclid.org/euclid.jsl/1183389188
has-date: http://www.aktors.org/ontology/date#1941
type: Article-Reference
type: Thing
has-volume: 6
has-title: A System of Axiomatic Set Theory - Part II.

Bernays41
has-title: A System of Axiomatic Set Theory - Part II.
has-volume: 6
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1941
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183389188

http://dblp.rkbexplorer.com/id/people-93273e6ac005482dd7d2ea546f42dd97-f818a8dd7ae901730a9a18e3597f0379
full-name: Haskell B. Curry
type: Person
type: Thing

Dotterer41
has-date: http://www.aktors.org/ontology/date#1941
has-web-address: http://projecteuclid.org/euclid.jsl/1183389241
type: Article-Reference
type: Thing
has-volume: 6
has-title: A Generalization of the Antilogism.

McKinsey41
has-web-address: http://projecteuclid.org/euclid.jsl/1183389275
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1941
has-volume: 6
has-title: A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology.

Rosser41
has-web-address: http://projecteuclid.org/euclid.jsl/1183389242
has-volume: 6
type: Thing
has-title: The Independence of Quine's Axioms *200 and *201.
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1941