Chwistek39
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183386540
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1939
has-title: A Formal Proof of Gödel's Theorem.
type: Thing

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

Ducasse39
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386538
has-title: Symbols, Signs, and Signals.
has-date: http://www.aktors.org/ontology/date#1939
type: Article-Reference
type: Thing

Rosser39
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1939
has-web-address: http://projecteuclid.org/euclid.jsl/1183386507
has-title: On the Consistency of Quine's New Foundations for Mathematical Logic.
has-volume: 4

McKinsey39
type: Thing
type: Article-Reference
has-volume: 4
has-title: Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.
has-date: http://www.aktors.org/ontology/date#1939
has-web-address: http://projecteuclid.org/euclid.jsl/1183386722

Robinson39
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386541
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
has-title: On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit).
type: Article-Reference

Tarski39
type: Thing
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386582
type: Article-Reference
has-title: On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.
has-date: http://www.aktors.org/ontology/date#1939

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

Tarski39
has-title: On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386582
has-volume: 4
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939

Chwistek39
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386540
has-title: A Formal Proof of Gödel's Theorem.
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
type: Article-Reference

Fitch39
has-title: Note on Modal Functions.
has-web-address: http://projecteuclid.org/euclid.jsl/1183386584
has-volume: 4
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939
type: Thing

http://dblp.rkbexplorer.com/id/people-2908485b8dc585551e31929d523df1b5-bdadd538902722e636497ced4740eb53
full-name: William Tuthill Parry
type: Person
type: Thing

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

Robinson39
has-title: On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit).
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1939
type: Article-Reference
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386541

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

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

http://dblp.rkbexplorer.com/id/people-b60532336ff81c263727d0aa7b517792-d08f4b97987c900ccbd9c832327c1e3c
full-name: Andrzej Mostowski
type: Person
type: Thing

Goodman39
type: Article-Reference
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386753
has-date: http://www.aktors.org/ontology/date#1939
type: Thing
has-title: Fifth Meeting of the Association for Symbolic Logic.

Parry39
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386721
has-date: http://www.aktors.org/ontology/date#1939
type: Thing
has-title: Modalities in the Survey System of Strict Implication.
type: Article-Reference

Goodman39
has-web-address: http://projecteuclid.org/euclid.jsl/1183386753
type: Article-Reference
type: Thing
has-volume: 4
has-title: Fifth Meeting of the Association for Symbolic Logic.
has-date: http://www.aktors.org/ontology/date#1939

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

Rosser39b
type: Thing
has-title: Definition by Induction in Quine's New Foundations for Mathematical Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183386544
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
type: Article-Reference

Rosser39b
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939
has-title: Definition by Induction in Quine's New Foundations for Mathematical Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183386544
has-volume: 4
type: Thing

http://dblp.rkbexplorer.com/id/people-80202cccf6b7efd6634ae0a49d1fbad1-4f55e3cf42b9c4268df95c649f645714
full-name: Laszlo Kalmar
type: Person
type: Thing

Huntington39
has-title: Note on a Recent Set of Postulates for the Calculus of Propositions.
has-volume: 4
type: Thing
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183386506
has-date: http://www.aktors.org/ontology/date#1939

Huntington39
has-title: Note on a Recent Set of Postulates for the Calculus of Propositions.
has-web-address: http://projecteuclid.org/euclid.jsl/1183386506
type: Article-Reference
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1939

Parry39
has-volume: 4
type: Article-Reference
has-title: Modalities in the Survey System of Strict Implication.
type: Thing
has-date: http://www.aktors.org/ontology/date#1939
has-web-address: http://projecteuclid.org/euclid.jsl/1183386721

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

Vredenduin39
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1939
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386542
has-title: A System of Strict Implication.
type: Article-Reference

Vredenduin39
has-volume: 4
has-title: A System of Strict Implication.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386542
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939

Rosser39a
has-web-address: http://projecteuclid.org/euclid.jsl/1183386539
type: Thing
has-volume: 4
type: Article-Reference
has-title: An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.
has-date: http://www.aktors.org/ontology/date#1939

Fitch39
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386584
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939
has-title: Note on Modal Functions.
has-volume: 4

http://dblp.rkbexplorer.com/id/people-6f7b3e6b29f5aa83cb937e22519ce926-a3ed27c016c80aeb2600bef8d35dfe76
full-name: Leon Chwistek
type: Person
type: Thing

Rosser39a
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386539
type: Article-Reference
has-title: An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem.
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1939

http://dblp.rkbexplorer.com/id/people-cfcfebb08a4160c118a2fa2b9c761b63-072878de243734eed243602e56f736bf
full-name: Abraham Robinson
type: Person
type: Thing

Mostowski39
type: Article-Reference
has-title: Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit.
type: Thing
has-volume: 4
has-date: http://www.aktors.org/ontology/date#1939
has-web-address: http://projecteuclid.org/euclid.jsl/1183386583

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

http://dblp.rkbexplorer.com/id/people-2e8f04fe007eb221d26ac5705e05b369-c9ba381c9b54e4fdeab3c2e686ada836
full-name: C. J. Ducasse
type: Person
type: Thing

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

http://dblp.rkbexplorer.com/id/people-c60133d6fb1b030e020a72008ed7dc8e-976c2063aa21068e90057fe137bbcecb
full-name: E. V. Huntington
type: Person
type: Thing

Ducasse39
type: Thing
has-title: Symbols, Signs, and Signals.
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386538
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939

Langford39
has-title: A Theorem on Deducibility for Second-Order Functions.
type: Thing
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386543
type: Article-Reference

Rosser39
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386507
has-title: On the Consistency of Quine's New Foundations for Mathematical Logic.
has-volume: 4

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

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

Mostowski39
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386583
has-title: Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit.

Baylis39
type: Article-Reference
has-volume: 4
has-title: Fourth Meeting of the Association for Symbolic Logic.
has-date: http://www.aktors.org/ontology/date#1939
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386532

McKinsey39
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386722
has-title: Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.
type: Thing
type: Article-Reference

Baylis39
has-web-address: http://projecteuclid.org/euclid.jsl/1183386532
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
type: Article-Reference
has-title: Fourth Meeting of the Association for Symbolic Logic.
type: Thing

Langford39
has-web-address: http://projecteuclid.org/euclid.jsl/1183386543
has-date: http://www.aktors.org/ontology/date#1939
type: Thing
has-volume: 4
has-title: A Theorem on Deducibility for Second-Order Functions.
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-e45cb0ed76356fdc07a955adf8e32c23-c0ec25c8c182685819ba3934a1fd7026
full-name: Charles A. Baylis
type: Person
type: Thing

Fitch39a
has-date: http://www.aktors.org/ontology/date#1939
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183386723
has-title: The Hypothesis That Infinite Classes are Similar.
has-volume: 4
type: Article-Reference

Kalmar39
has-web-address: http://projecteuclid.org/euclid.jsl/1183386505
type: Article-Reference
has-title: On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate.
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
type: Thing

Fitch39a
has-date: http://www.aktors.org/ontology/date#1939
type: Article-Reference
has-title: The Hypothesis That Infinite Classes are Similar.
has-web-address: http://projecteuclid.org/euclid.jsl/1183386723
has-volume: 4
type: Thing

Kalmar39
has-title: On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate.
has-date: http://www.aktors.org/ontology/date#1939
has-volume: 4
has-web-address: http://projecteuclid.org/euclid.jsl/1183386505
type: Thing
type: Article-Reference

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

http://dblp.rkbexplorer.com/id/people-1e9134c292728aa7c03348c236557de8-0464f1db1e15fdb21a8bdabde4bb9fa2
full-name: P. G. J. Vredenduin
type: Person
type: Thing