DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Object theory
Object theory
The Metamathematics of Putnam's Model-Theoretic Arguments
Starting the Dismantling of Classical Mathematics
How to Adopt a Logic
Consequences of Theoretically Modeling the Mind As a Computer
Re Ection in Conditional Rewriting Logic
Deepening the Automated Search for Gödel's Proofs
Kurt Gödel 1931
Computational Foundations of Basic Recursive Function Theory*
Non-Classical Metatheory for Non-Classical Logics
An Implication of G\" Odel's Incompleteness Theorem
An Introduction to a Theory of Abstract Objects
Axiomatic Truth, Syntax and Metatheoretic Reasoning Graham E
1+1 (Pat. Pending) — Mathematics, Software and Free Speech Why Software and Patents Need to Get a Divorce ~ by Polr
Meinong's Multifarious Being and Russell's Ontological Variable
On Quine, Ontic Commitments, and the Indispensability Argument
CATEGORICAL ONTOLOGY I Contents 1. Introduction 2 2. Categories As Places 8 3. Preliminaries on Variable Set Theory 16 4. the In
A Metatheory of a Mechanized Object Theory
Ac Structural Proof Theory
Top View
Truth and Consistency
A Foundation for Metareasoning Part II: the Model Theory
On a Theory of Objects Based on a Single Axiom Scheme
Hypocomputation to Hypercomputation
Truth Without Satisfaction May Perhaps Constrain Formal Attempts to Implement Non-Referential Conceptions of Truth
Open Determinacy for Class Games
[Physics.Gen-Ph] 28 Jun 2000 Eea Yblcmethod Symbolic General a Ihpyia Applications Physical with Coe 1 2018 31, October Rgm Smith M
Syntax Versus Semantics