Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Awodey, s.
and
Carus, A. W.
2001.
Carnap, Completeness, And Categoricity:The Gabelbarkeitssatz OF 1928.
Erkenntnis,
Vol. 54,
Issue. 2,
p.
145.
Došen, Kosta
and
Petrić, Zoran
2002.
Bicartesian Coherence.
Studia Logica,
Vol. 71,
Issue. 3,
p.
331.
Awodey, Steve
and
Reck, Erich H.
2002.
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.
History and Philosophy of Logic,
Vol. 23,
Issue. 1,
p.
1.
Mancosu, Paolo
2003.
The Russellian Influence on Hilbert and his School.
Synthese,
Vol. 137,
Issue. 1-2,
p.
59.
Feferman, Solomon
Dawson, John W
Goldfarb, Warren
Parsons, Charles
and
Sieg, Wilfried
2003.
Kurt Gödel.
p.
565.
Zach, Richard
2003.
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program.
Synthese,
Vol. 137,
Issue. 1-2,
p.
211.
Došen, Kosta
2003.
Identity of Proofs Based on Normalization and Generality.
Bulletin of Symbolic Logic,
Vol. 9,
Issue. 4,
p.
477.
Hartimo, Mirja Helena
2007.
Towards completeness: Husserl on theories of manifolds 1890–1901.
Synthese,
Vol. 156,
Issue. 2,
p.
281.
Zach, Richard
2007.
Philosophy of Logic.
p.
411.
Cignoli, Roberto
2007.
Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Vol. 4460,
Issue. ,
p.
69.
Shankar, Natarajan
2007.
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems.
p.
213.
Milne, Peter
2008.
Russell's completeness proof.
History and Philosophy of Logic,
Vol. 29,
Issue. 1,
p.
31.
Sieg, Wilfried
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
321.
Moschovakis, Joan Rand
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
77.
Sieg, Wilfried
2009.
Philosophy of Mathematics.
p.
535.
NAGASAKA, Ichiro
2010.
THEORETICAL BASIS OF PATTERN LANGUAGE:MATHEMATICAL STRUCTURALISM AND HILBERT'S FORMALISM.
Journal of Architecture and Planning (Transactions of AIJ),
Vol. 75,
Issue. 658,
p.
2989.
Došen, Kosta
and
Petrić, Zoran
2011.
Coherence for modalities.
Journal of Pure and Applied Algebra,
Vol. 215,
Issue. 7,
p.
1606.
2011.
The Universal Computer.
p.
177.
Carnielli, Walter
2012.
Universal Logic: An Anthology.
p.
33.
Béziau, Jean-Yves
2012.
Logic: A History of its Central Concepts.
Vol. 11,
Issue. ,
p.
235.