- Penrose's Platonism.James Higginbotham - 1990 - Behavioral and Brain Sciences 13 (4):667-668.details
|
|
A Real Number Structure that is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.details
|
|
A flawed analogy?James Hendler - 1987 - Behavioral and Brain Sciences 10 (3):485-486.details
|
|
Computability of String Functions Over Algebraic Structures Armin Hemmerling.Armin Hemmerling - 1998 - Mathematical Logic Quarterly 44 (1):1-44.details
|
|
On Effectively Computable Operators.John P. Helm - 1971 - Mathematical Logic Quarterly 17 (1):231-244.details
|
|
On Effectively Computable Operators.John P. Helm - 1971 - Mathematical Logic Quarterly 17 (1):231-244.details
|
|
Masstheoretische Ergebnisse für WT‐Grade.Friedrich Hebeisen - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (3‐6):33-36.details
|
|
Über Halbordnungen von WT‐Graden in e‐Graden.Freidrich Hebeisen - 1979 - Mathematical Logic Quarterly 25 (13‐18):209-212.details
|
|
Über Halbordnungen von WT-Graden in e-Graden.Freidrich Hebeisen - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):209-212.details
|
|
Spectra and halting problems.Louise Hay - 1975 - Mathematical Logic Quarterly 21 (1):167-176.details
|
|
Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Mathematical Logic Quarterly 20 (13‐18):239-254.details
|
|
Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):239-254.details
|
|
Extensional Characterization of Index Sets.Louise Hay & Nancy Johnson - 1979 - Mathematical Logic Quarterly 25 (13‐18):227-234.details
|
|
Extensional Characterization of Index Sets.Louise Hay & Nancy Johnson - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):227-234.details
|
|
On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7‐10):136-140.details
|
|
On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7-10):136-140.details
|
|
Fuzzy recursion, ret's, and isols.Leon Harkleroad - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):425-436.details
|
|
Effectively and Noneffectively Nowhere Simple Sets.Valentina S. Harizanov - 1996 - Mathematical Logic Quarterly 42 (1):241-248.details
|
|
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Mathematical Logic Quarterly 25 (25‐29):419-422.details
|
|
Characterizing Second Order Logic with First Order Quantifiers.David Harel - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):419-422.details
|
|
Chains and antichains in partial orderings.Valentina S. Harizanov, Carl G. Jockusch & Julia F. Knight - 2009 - Archive for Mathematical Logic 48 (1):39-53.details
|
|
Tarski hierarchies.Volker Halbach - 1995 - Erkenntnis 43 (3):339 - 367.details
|
|
Tarskian and Kripkean truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.details
|
|
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.details
|
|
On Absoluteness.Karol Habart - 1989 - Mathematical Logic Quarterly 35 (5):469-480.details
|
|
On Absoluteness.Karol Habart - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):469-480.details
|
|
Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Mathematical Logic Quarterly 38 (1):423-430.details
|
|
Bounds in the Turing reducibility of functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.details
|
|
Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.details
|
|
Limit lemmas and jump inversion in the enumeration degrees.Evan J. Griffiths - 2003 - Archive for Mathematical Logic 42 (6):553-562.details
|
|
The knowing mathematician.Nicolas D. Goodman - 1984 - Synthese 60 (1):21 - 38.details
|
|
Hanf number for Scott sentences of computable structures.S. S. Goncharov, J. F. Knight & I. Souldatos - 2018 - Archive for Mathematical Logic 57 (7-8):889-907.details
|
|
Ambiguities in “the algorithmic level”.Alvin I. Goldman - 1987 - Behavioral and Brain Sciences 10 (3):484-485.details
|
|
Unentscheidbarkeitsgrade Rekursiver Funktionen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):189-191.details
|
|
Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie.B. Goetze, R. Klette & D. Gillo - 1976 - Mathematical Logic Quarterly 23 (16‐17):265-272.details
|
|
Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie.B. Goetze, R. Klette & D. Gillo - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (16-17):265-272.details
|
|
Die Struktur des Halbverbandes der Effektiven Numerierungen.Bernhard Goetze - 1974 - Mathematical Logic Quarterly 20 (8-12):183-188.details
|
|
Why you'll never know whether Roger Penrose is a computer.Clark Glymour & Kevin Kelly - 1990 - Behavioral and Brain Sciences 13 (4):666-667.details
|
|
PDL with intersection and converse: satisfiability and infinite-state model checking.Stefan Göller, Markus Lohrey & Carsten Lutz - 2009 - Journal of Symbolic Logic 74 (1):279-314.details
|
|
The study of cognition and instructional design: Mutual nurturance.Robert Glaser - 1987 - Behavioral and Brain Sciences 10 (3):483-484.details
|
|
Where is the material of the emperor's mind?David L. Gilden & Joseph S. Lappin - 1990 - Behavioral and Brain Sciences 13 (4):665-666.details
|
|
Strong AI and the problem of “second-order” algorithms.Gerd Gigerenzer - 1990 - Behavioral and Brain Sciences 13 (4):663-664.details
|
|
Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - 2017 - Logic and Logical Philosophy 26 (4).details
|
|
Turing L -machines and recursive computability for L -maps.Giangiacomo Gerla - 1989 - Studia Logica 48 (2):179 - 192.details
|
|
TuringL-machines and recursive computability forL-maps.Giangiacomo Gerla - 1989 - Studia Logica 48 (2):179-192.details
|
|
Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
The automorphism group and definability of the jump operator in the $$\omega $$ ω -enumeration degrees.Hristo Ganchev & Andrey C. Sariev - 2021 - Archive for Mathematical Logic 60 (7):909-925.details
|
|
Don't ask Plato about the emperor's mind.Alan Gamham - 1990 - Behavioral and Brain Sciences 13 (4):664-665.details
|
|
Reverse mathematics, well-quasi-orders, and Noetherian spaces.Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer & Jeroen Van der Meeren - 2016 - Archive for Mathematical Logic 55 (3):431-459.details
|
|