1. A companion to philosophical logic /
پدیدآورنده : edited by Dale Jacquette.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Logique.,Logic.,Logica.,Logik,Logique (Philosophie),Logique mathématique.,Logique modale.,Paradoxe.,PHILOSOPHY-- Logic.,Sémantique.
رده :
BC71
.
C65
2002eb
2. Algebraic methods in philosophical logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebraic logic ; Algebra ; L?gica ; Modale logica ; Parti?le orde ; Semantiek ;
3. Algoritmos :
پدیدآورنده : José Augusto N.G. Manzano, Jayr Figueiredo de Oliveira.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Estrutura de dados (Computação),Logica.,Programação (Computadores)
4. Argomenti di logica /
پدیدآورنده : Carlo Marletti, Enrico Moriconi, Mauro Mariani.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logica.
5. Beginning logic /
پدیدآورنده : E.J. Lemmon.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
6. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
7. C'era una volta un paradosso :
پدیدآورنده : Piergiorgio Odifreddi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Illusion (Philosophy),Paradox.,Paradosso.,Illusion (Philosophy),Logica.,Paradox.
رده :
BC199
.
P2
O35
2001
8. Che cos'e la dialettica hegeliana? :
پدیدآورنده : Francesco Berto ; prefazione di Diego Marconi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hegel, Georg Wilhelm Friedrich-- Dialettica,Logica
9. Che cos'e la dialettica hegeliana? :
پدیدآورنده : Francesco Berto ; prefazione di Diego Marconi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hegel, Georg Wilhelm Friedrich-- Dialettica,Logica
10. Combinatory logic
پدیدآورنده : [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
11. Computation, logic, games, and quantum foundations :
پدیدآورنده : Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
12. Computer science logic :
پدیدآورنده : Leszek Pacholski, Jerzy Tiuryn ( Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Congressi - Kazimierz - 1994.,Elaborazione elettronica dei dati - Congressi - 1994.,Logica matematica e simbolica - Congressi - 1994.
رده :
QA75
.
5
L479
1995
13. Cum să gândim corect şi eficient
پدیدآورنده : Nigel Warburton / trad. din lb. eng. de Carmen Dumitrescu / pref. de Sorin Vieru.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dicţionare (Română),Logică,Retorică
14. Derecho, lógica, matemática
پدیدآورنده : Herbert Fiedler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Filosofía del Derecho.,Lógica Jurídica.
15. Desde un punto de vista logico
پدیدآورنده : Willard van orman quine; tr. manuel sacristan; prol. jesus mosterin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logica -- discursos, ensayos, conferencias.
16. Diccionario de lógica y filosofía de la ciencia /
پدیدآورنده : Jesús Mosterín y Roberto Torretti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Dictionaries.,Science-- Philosophy, Dictionaries.,Filosofía de la ciencia, Diccionarios-- español.,Lógica, Diccionarios-- Español.
17. Dilemmas :
پدیدآورنده : by Gilbert Ryle.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dilemma.,Dilemma.,Dilemme.,Logica.,Logique.,Perception.
رده :
BC185
.
R9
18. Direito, retórica e comunicação :
پدیدآورنده : Tércio Sampaio Ferraz Júnior.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Axiologia jurídica.,Lógica jurídica.,Norma jurídica.,Pragmatismo.,Terminologia jurídica.,Direito.
19. Dirk van Dalen Festschrift
پدیدآورنده : Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dalen, D. van -- (Dirk), -- 1932-,Logic, Symbolic and mathematical.,Logica.
رده :
QA9
.
H465
1993
20. Disertación acerca del arte combinatorio
پدیدآورنده : de G.W. Leibniz ; versión directa del Latín, Manuel Antonio Correia M.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatory logic.,Leibniz, Gottfried Wilhelm, -- Freiherr von, -- 1646-1716 -- Logic.,LOGICA COMBINATORIA.
رده :
QA9
.
5
D449
1992
