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
