ON EXISTENCE OF COMPLETE PREDICATE CALCULUS IN METAMATHEMATICS WITHOUT EXPONENTIATIONSAZONOV V YU.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 483-490; BIBL. 4 REF.Conference Paper

ON THE PROOF THEORY OF THE MODAL LOGIC FOR ARITHMETIC PROVABILITYLEIVANT D.1981; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1981; VOL. 46; NO 3; PP. 531-538; BIBL. 16 REF.Article

THE METAMATHEMATICS OF MODEL THEORY: DISCOVERING LANGUAGE IN ACTIONMILLER DE.1981; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1981; VOL. 46; NO 3; PP. 490-498; BIBL. 13 REF.Article

INDUCTIVELY PRESENTED SYSTEMS AND THE FORMALIZATION OF META-MATHEMATICSFEFERMAN S.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 108; PP. 95-128; BIBL. 2 P.Conference Paper

Logique : Mathématique ordinaire ou épistémologie effective?SINACEUR, H.Hommage à Jean-Toussaint Desanti. 1991, pp 331-346, isbn 2-905670-31-2Book Chapter

Verdad y circularidad: El problema de la superveniencia semántica = Truth and circularity: The problem of semantic supervenienceBARRIO, Eduardo Alejandro.Theoria (Madrid). 2002, Vol 17, Num 43, pp 63-79, issn 0495-4548Article

Bewusstsein als dynamischer Grenzwert: Das Gehirn-Bewusstseins-Problem in der Sicht eines neuen Denkmodells = Consciousness as a dynamical limit : the brain-consciousness problem in the light of a new way of thinking = La conscience comme limite dynamique : le problème cerveau-conscience à la lumière d'un nouveau modèle de penséeHOLZ, Harald.Wiener Jahrbuch für Philosophie. 2002, Vol 34, pp 15-36, issn 0083-999X, 22 p.Article

On the logic of reducibility : Axioms and examples = La logique de la réductibilité: axiomes et exemplesNIEBERGALL, Karl-Georg.Erkenntnis. 2000, Vol 53, Num 1-2, pp 27-61, issn 0165-0106Article

Hilbert et la logique interne des mathématiques = Hilbert and the Internal Logic of MathematicsGAUTHIER, Y.Revue internationale de philosophie. 1993, Vol 47, Num 186, pp 305-318, issn 0048-8143Article

Poincaré's Thesis of the Translatability of Euclidean and Non-Euclidean GeometriesSTUMP, D.Noûs (Bloomington, Indiana). 1991, Vol 25, Num 5, pp 639-657, issn 0029-4624Article

La filosofía de David Hilbert = David Hilbert's PhilosophyGAMBRA, J. M.Thémata (Sevilla). 1995, Num 14, pp 147-179, issn 0212-8365Article

Gegenstand und Methode in der Geschichte der Mathematik = Object and Method in Mathematics's HistoryOTTE, M.Philosophia naturalis. 1992, Vol 29, Num 1, pp 31-68, issn 0031-8027Article

On the dialectics of metamathematicsVARDY, P.Graduate Faculty philosophy journal. 1994, Vol 17, Num 1-2, pp 191-216, issn 0093-4240Article

Hilbert and the internal logic of mathematicsGAUTHIER, Y.Synthese (Dordrecht). 1994, Vol 101, Num 1, pp 1-14, issn 0039-7857Article

Maschinen und Kreativität: metamathematische Argumente für das menschliche Denken = Machine and Creativity: Metamathematical Arguments for Human ThoughtEBBINGHAUS, H.-D.Philosophia naturalis. 1992, Vol 29, Num 1, pp 1-30, issn 0031-8027Article

The Metamathematics of Putnam's Model-Theoretic Arguments = La métamathématique des arguments du modèle théorique de PutnamBUTTON, Tim.Erkenntnis. 2011, Vol 74, Num 3, pp 321-349, issn 0165-0106, 29 p.Article

What finitism could not be = Ce que le finitisme ne peut pas êtreSCHIRN, Matthias; NIEBERGALL, Karl-Georg.Crítica - Instituto de Investigaciones Filosóficas. Universidad Nacional Autónoma de México. 2003, Vol 35, Num 103, pp 43-68, issn 0011-1503, 26 p.Article

On provability logic = La logique de la prouvabilitéSVEJDAR, V.Nordic journal of philosophical logic (Trykt utg.). 1999, Vol 4, Num 2, pp 95-116, issn 0806-6205Article

A conversation about numbers and knowledge = Une conversation sur les nombres et la connaissanceSAYWARD, Charles.American philosophical quarterly (Oxford). 2002, Vol 39, Num 3, pp 275-287, issn 0003-0481Article

Truth and reduction = Vérité et réductionHALBACH, Volker.Erkenntnis. 2000, Vol 53, Num 1-2, pp 97-126, issn 0165-0106Article

On the epistemological justification of Hilbert's metamathematics = La justification épistémologique de la métamathématique de HilbertLEGRIS, Javier.Philosophia scientiae. 2005, Vol 9, Num 2, pp 225-238, issn 1281-2463, 14 p.Conference Paper

The Transzendenz of mathematical 'experience' = La Transzendenz de l'expérience mathématiqueBOOS, W.Synthese (Dordrecht). 1998, Vol 114, Num 1, pp 49-98, issn 0039-7857Article

Irreflexive modality in the intuitionistic propositional logic and Novikov completeness = La modalité non-réfléchie dans la logique intuitionniste des propositions et la complétude de NovikovYASHIN, A. D.Journal of philosophical logic. 1999, Vol 28, Num 2, pp 175-197, issn 0022-3611Article