21. Dynamic logic of questions
پدیدآورنده: Ştefan Augustin Minică.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Dynamische modellen.,Epistemische logica.,Vragen.
22. El Teorema de Gödel /
پدیدآورنده: Ernest Nagel, James R. Newman ; traducción de Adolfo Martin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Teorema de,Lògica matemàtica,Gödel, Teorema de.,Lògica matemàtica.,Lògica matemàtica.,Teorema de Gödel.
23. El avance del saber
پدیدآورنده: Sir Francis Bacon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lógica -- Obras anteriores a 1800.,Metodología científica.,Teoría del conocimiento.
رده :
B1155
.
S574
1988
24. El juego de la lógica y otros escritos
پدیدآورنده: Lewis Carroll; selección y prólogo [y traducción] de Alfredo Deaño.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lógica.
25. El nombrar y la necesidad
پدیدآورنده: Saul Kripke; traducción de Margarita M. Valdés.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Filosofía.,Modalidad (Lógica),Necesidad (Filosofía)
رده :
BD417
.
S285
2005
26. Elementos de lógica formal
پدیدآورنده: Calixto Badesa, Ignacio Jané, Ramón Jansana.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lógica formal.,Lógica simbólica y matemática
رده :
BC117
.
S63
C355
2003
27. Filosofía de la lógica
پدیدآورنده: Willard Van Orman Quine ; versión española de Manuel Sacristán.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lógica -- Fundamentos.,Lógica.
28. Frühe Schriften.
پدیدآورنده: [Bibliographischer Nachweis und Register von Friedrich-Wilhelm von Hermann].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Philosophy.,Philosophie-- Collections.,Argumentatieleer.,Filosofia contemporanea.,Heidegger, martin.,Judgment.,Logica.,Philosophy.
رده :
B3279
.
H46
1972
29. Grundzüge der theoretischen Logik
پدیدآورنده: [von] D. Hilbert und W. Ackermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logica Matematica.
رده :
BC135
.
V663
1949
30. Handbook of mathematical logic. tics; ed. by barwise, jon.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
31. Handbook of philosophical logic.
پدیدآورنده: edited by D.M. Gabbay and F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Handbooks, manuals, etc.,Droit.,Logic.,Logica.,Logica.,Logik,PHILOSOPHY, Logic.,Sciences humaines.,Sciences sociales.
رده :
BC1
.
H36
v
.
15
32. Historia de la lógica formal /
پدیدآورنده: I.M. Bochenski ; tr. Millán Bravo Lozano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic-- History.,Logica-- Historia.,Logic.,Lógica matemática, Historia.
رده :
BC15
B6318
33. Il gioco della logica /
پدیدآورنده: di Lewis Carroll.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Giochi matematici,Logica,Logica matematica
34. Inference, explanation, and other frustrations :
پدیدآورنده: edited by John Earman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Induction (Logic),Inference.,Science-- Methodology.,Science-- Philosophy.,08.35 philosophy of science.,Aufsatzsammlung,Inductie (logica),Induction (Logic),Inference.,Inférence.,Naturwissenschaften,Philosophie,Philosophie des sciences.,Science-- Methodology.,Science-- Philosophy.,Sciences-- Méthodologie.,Wetenschapsfilosofie.,Wissenschaftsphilosophie,Wissenschaftstheorie
رده :
Q175
.
3
.
I53
1989
35. Iniciación a la lógica matemática
پدیدآورنده: Alfonso Burgos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lògica matemàtica.
36. Introduçao a logica para a ciencia da computaçao
پدیدآورنده: Jair Minoro Abe; Alexandre Scalzitti, Joao Inacio da Silva Filho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logica matematica nao-classica.,Logica no ensino.
37. Introducción a la lógica
پدیدآورنده: Irving M. Copi, Carl Cohen ; colaboración en la traducción Jorge Alejandro Rangel Sandoval ; revisión técnica Rodrigo Munguía Noriega.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lógica -- Problemas, ejercicios, etc.,Lógica.
38. Introduction to metamathematics /
پدیدآورنده: by Stephen Cole Kleene.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logica matematica
39. Introduzione alla logica formale /
پدیدآورنده: Gabriele Lolli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logica matematica.,Logica formale.
40. Investigaciones generales sobre el análisis de las nociones y las verdades (1686)
پدیدآورنده: G.W. Leibniz ; intr., tr. y not. de Mauricio Benchot y Alejandro Herrera Ibañez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Conocimiento, Teoría del.,Lógica.
رده :
B2591
.
G433
G854
1986
