Curry42a
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Inconsistency of Certain Formal Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389354
type: Article-Reference
type: Thing

Berkeley42
has-date: http://www.aktors.org/ontology/date#1942
has-title: Conditions Affecting the Application of Symbolic Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389386
type: Article-Reference
type: Thing

Curry42
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Combinatory Foundations of Mathematical Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389332
type: Article-Reference
type: Thing

Bronstein42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A Correction to the Sentential Calculus of Tarski's Introduction to Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389308
type: Article-Reference
type: Thing

Berkeley42
has-date: http://www.aktors.org/ontology/date#1942
has-title: Conditions Affecting the Application of Symbolic Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389386
type: Article-Reference
type: Thing

NewmanT42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A Formal Theorem in Church's Theory of Types.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389307
type: Article-Reference
type: Thing

Fitch42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A Basic Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389353
type: Article-Reference
type: Thing

NewmanT42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A Formal Theorem in Church's Theory of Types.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389307
type: Article-Reference
type: Thing

Quine42
has-date: http://www.aktors.org/ontology/date#1942
has-title: On Existence Conditions for Elements and Classes.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389385
type: Article-Reference
type: Thing

Bernays42a
has-date: http://www.aktors.org/ontology/date#1942
has-title: A System of Axiomatic Set Theory: Part IV. General Set Theory.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389383
type: Article-Reference
type: Thing

Rosser42
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Burali-Forti Paradox.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389305
type: Article-Reference
type: Thing

Curry42
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Combinatory Foundations of Mathematical Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389332
type: Article-Reference
type: Thing

Rosser42a
has-date: http://www.aktors.org/ontology/date#1942
has-title: New Sets of Postulates for Combinatory Logics.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389306
type: Article-Reference
type: Thing

McKinsey42
has-date: http://www.aktors.org/ontology/date#1942
has-title: Seventh Meeting of the Association for Symbolic Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389328
type: Article-Reference
type: Thing

Rosser42a
has-date: http://www.aktors.org/ontology/date#1942
has-title: New Sets of Postulates for Combinatory Logics.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389306
type: Article-Reference
type: Thing

Bernays42a
has-date: http://www.aktors.org/ontology/date#1942
has-title: A System of Axiomatic Set Theory: Part IV. General Set Theory.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389383
type: Article-Reference
type: Thing

Turing42
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Use of Dots as Brackets in Church's System.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389384
type: Article-Reference
type: Thing

Bernays42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389333
type: Article-Reference
type: Thing

Bernays42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A System of Axiomatic Set Theory: Part III. Infinity and Enumerability. Analysis.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389333
type: Article-Reference
type: Thing

Turing42
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Use of Dots as Brackets in Church's System.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389384
type: Article-Reference
type: Thing

McKinsey42
has-date: http://www.aktors.org/ontology/date#1942
has-title: Seventh Meeting of the Association for Symbolic Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389328
type: Article-Reference
type: Thing

Bronstein42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A Correction to the Sentential Calculus of Tarski's Introduction to Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389308
type: Article-Reference
type: Thing

Rosser42
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Burali-Forti Paradox.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389305
type: Article-Reference
type: Thing

Fitch42
has-date: http://www.aktors.org/ontology/date#1942
has-title: A Basic Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389353
type: Article-Reference
type: Thing

Quine42
has-date: http://www.aktors.org/ontology/date#1942
has-title: On Existence Conditions for Elements and Classes.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389385
type: Article-Reference
type: Thing

Curry42a
has-date: http://www.aktors.org/ontology/date#1942
has-title: The Inconsistency of Certain Formal Logic.
has-volume: 7
has-web-address: http://projecteuclid.org/euclid.jsl/1183389354
type: Article-Reference
type: Thing

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

http://dblp.rkbexplorer.com/id/people-ec99442d1b032e57cfb7fff7e5748928-141c200d7e2b21b995cf977f872b7cbf
full-name: M. H. A. Newman
type: Person

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

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

http://dblp.rkbexplorer.com/id/people-a27f18ebafc0d76ddb05173ce7b9873d-e0b388b7c1e0985b1371d73ee1fae8b5
full-name: Alan M. Turing
type: Person

http://dblp.rkbexplorer.com/id/people-f506922a6a041e1332a503809137d194-8b001a17f2f6adbf6f9124b4533a01cc
full-name: J. Barkley Rosser
type: Person

http://dblp.rkbexplorer.com/id/people-f506922a6a041e1332a503809137d194-5d52ce659af71daf778a2310770a19e6
full-name: J. Barkley Rosser
type: Person

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

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

http://dblp.rkbexplorer.com/id/people-c1b856bfc4a7adb286b9c70c1e9d4928-1a29efb0e2b5acc0de57e90f00e73a3e
full-name: J. C. C. McKinsey
type: Person

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

http://dblp.rkbexplorer.com/id/people-2f5f65e0b7acef6b2ae60019ba2551f2-37fefba9d70ad7e63109a1bad3894e52
full-name: Daniel J. Bronstein
type: Person

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

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

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

http://dblp.rkbexplorer.com/id/people-1c7a4e43c91697934a398c0afc6200da-ceed0c85dd59db44ce18177850e9af60
full-name: Edmund C. Berkeley
type: Person

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