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
