Hempel37
has-date: http://www.aktors.org/ontology/date#1937
has-title: A Purely Topological Form of Non-Aristotelian Logic.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383692
type: Article-Reference
type: Thing

Turing37a
has-date: http://www.aktors.org/ontology/date#1937
has-title: The Ø-Function in lambda-K-Conversion.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383712
type: Article-Reference
type: Thing

Turing37a
has-date: http://www.aktors.org/ontology/date#1937
has-title: The Ø-Function in lambda-K-Conversion.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383712
type: Article-Reference
type: Thing

Rosser37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Godel Theorems for Non-Constructive Logics.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383696
type: Article-Reference
type: Thing

Quine37b
has-date: http://www.aktors.org/ontology/date#1937
has-title: Logic based on Inclusion and Abstraction.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383710
type: Article-Reference
type: Thing

Curry37
has-date: http://www.aktors.org/ontology/date#1937
has-title: On the Use of Dots as Brackets in Logical Expressions.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183142178
type: Article-Reference
type: Thing

Langer37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Second Meeting of the Association for Symbolic Logic.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183751759
type: Article-Reference
type: Thing

Emch37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Deducibility with Respect to Necessary and Impossible Propositions.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183354818
type: Article-Reference
type: Thing

Langer37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Second Meeting of the Association for Symbolic Logic.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183751759
type: Article-Reference
type: Thing

Turing37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Computability and lambda-Definability.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383711
type: Article-Reference
type: Thing

Bernays37
has-date: http://www.aktors.org/ontology/date#1937
has-title: A System of Axiomatic Set Theory - Part I.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183751760
type: Article-Reference
type: Thing

Bernays37
has-date: http://www.aktors.org/ontology/date#1937
has-title: A System of Axiomatic Set Theory - Part I.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183751760
type: Article-Reference
type: Thing

Turing37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Computability and lambda-Definability.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383711
type: Article-Reference
type: Thing

Quine37a
has-date: http://www.aktors.org/ontology/date#1937
has-title: On Cantor's Theorem.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383694
type: Article-Reference
type: Thing

Rosser37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Godel Theorems for Non-Constructive Logics.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383696
type: Article-Reference
type: Thing

Fraenkel37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Über eine abgeschwächte Fassung des Auswahlaxioms.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183142177
type: Article-Reference
type: Thing

Robinson37
has-date: http://www.aktors.org/ontology/date#1937
has-title: The Theory of Classes a Modification of Von Neumann's System.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183142179
type: Article-Reference
type: Thing

Quine37b
has-date: http://www.aktors.org/ontology/date#1937
has-title: Logic based on Inclusion and Abstraction.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383710
type: Article-Reference
type: Thing

Fitch37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Modal Functions in Two-Valued Logic.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383695
type: Article-Reference
type: Thing

Quine37
has-date: http://www.aktors.org/ontology/date#1937
has-title: On Derivability.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383693
type: Article-Reference
type: Thing

Fraenkel37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Über eine abgeschwächte Fassung des Auswahlaxioms.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183142177
type: Article-Reference
type: Thing

Bernstein37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Remark on Nicod's Reduction of Principia Mathematica.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383713
type: Article-Reference
type: Thing

Robinson37
has-date: http://www.aktors.org/ontology/date#1937
has-title: The Theory of Classes a Modification of Von Neumann's System.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183142179
type: Article-Reference
type: Thing

Bernstein37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Remark on Nicod's Reduction of Principia Mathematica.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383713
type: Article-Reference
type: Thing

Emch37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Deducibility with Respect to Necessary and Impossible Propositions.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183354818
type: Article-Reference
type: Thing

Quine37a
has-date: http://www.aktors.org/ontology/date#1937
has-title: On Cantor's Theorem.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383694
type: Article-Reference
type: Thing

Curry37
has-date: http://www.aktors.org/ontology/date#1937
has-title: On the Use of Dots as Brackets in Logical Expressions.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183142178
type: Article-Reference
type: Thing

Fitch37
has-date: http://www.aktors.org/ontology/date#1937
has-title: Modal Functions in Two-Valued Logic.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383695
type: Article-Reference
type: Thing

Quine37
has-date: http://www.aktors.org/ontology/date#1937
has-title: On Derivability.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383693
type: Article-Reference
type: Thing

Hempel37
has-date: http://www.aktors.org/ontology/date#1937
has-title: A Purely Topological Form of Non-Aristotelian Logic.
has-volume: 2
has-web-address: http://projecteuclid.org/euclid.jsl/1183383692
type: Article-Reference
type: Thing

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

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

http://dblp.rkbexplorer.com/id/people-54d568bac1d822584d7203c958988c7f-25c00dda12b0797687d5aff7d004c7eb
full-name: Carl G. Hempel
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-1937.rdf
type: Ontology
imports: extension
imports: portal

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

http://dblp.rkbexplorer.com/id/people-e5899960d31302fcb79d6c4daa62e573-0816e9670d0c867e0a5e96b1f504fa75
full-name: Susanne K. Langer
type: Person

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

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

http://dblp.rkbexplorer.com/id/people-522f23d136040babf9166451d3ca9678-bee3ae07944e401cdc18f4ac424133b3
full-name: Arnold F. Emch
type: Person

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

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

http://dblp.rkbexplorer.com/id/people-31382c54c4b2f1d45814b750c1861781-2e0a77e48ddb0973c45eff4d925fced7
full-name: A. Fraenkel
type: Person

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

http://dblp.rkbexplorer.com/id/people-cc665f26fd1eeb634f4a95559590e311-f8c0fffcda3622172bb854f013377da7
full-name: B. A. Bernstein
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-ae0562b0aa0bec4d05fb2ea27c3d3012-c5268c1d6f00dc7fc482f6a437e579d9
full-name: Raphael M. Robinson
type: Person

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

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