Rahman, Shahid.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Mathematics, Logic, and their Philosophies = Essays in Honour of Mohammad Ardeshir /
by:
Rahman, Shahid.; Mojtahedi, Mojtaba.; SpringerLink (Online service); Zarepour, Mohammad Saleh.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Immanent reasoning or equality in action = a plaidoyer for the play level /
by:
SpringerLink (Online service); Rahman, Shahid.
(書目-語言資料,印刷品)
The realism-antirealism debate in the age of alternative logics
by:
Primiero, Giuseppe.; SpringerLink (Online service); Marion, Mathieu.; Rahman, Shahid.
(書目-語言資料,印刷品)
Unity, truth and the liar = the modern relevance of medieval solutions to the liar paradox /
by:
Tulenheimo, Tero.; SpringerLink (Online service); Genot, Emmanuel.; Rahman, Shahid.
(書目-語言資料,印刷品)
Inferences by Parallel Reasoning in Islamic Jurisprudence = Al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge /
by:
Soufi, Youcef.; Iqbal, Muhammad.; SpringerLink (Online service); Rahman, Shahid.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Linking Game-Theoretical Approaches with Constructive Type Theory = Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
by:
SpringerLink (Online service); Clerbout, Nicolas.; Rahman, Shahid.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Immanent Reasoning or Equality in Action = A Plaidoyer for the Play Level /
by:
Rahman, Shahid.; McConaughey, Zoe.; Clerbout, Nicolas.; Klev, Ansten.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Linking game-theoretical approaches with constructive type theory = dialogical strategies, CTT demonstrations and the axiom of choice /
by:
Clerbout, Nicolas.; Rahman, Shahid.; SpringerLink (Online service)
(書目-語言資料,印刷品)
The Unity of Science in the Arabic Tradition = Science, Logic, Epistemology and their Interactions /
by:
Rahman, Shahid.; Street, Tony.; SpringerLink (Online service); Tahiri, Hassan.
(書目-語言資料,印刷品)
New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems /
by:
Armgardt, Matthias.; SpringerLink (Online service); Rahman, Shahid.; Kvernenes, Hans Christian Nordtveit.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Theory of Computation.
Logic Design.
Philosophy of Law.
Mathematical Logic and Foundations.
Semantics.
Constructivism (Philosophy)
Axiom of choice.
History of Philosophy.
Game Theory, Economics, Social and Behav. Sciences.
Medieval Philosophy.
Philosophy.
Law—Philosophy.
Arabic.
Theories of Law, Philosophy of Law, Legal History.
Logic programming.
Science
Epistemics.
Computers—Law and legislation.
Epistemology.
Reasoning.
Philosophy of Mathematics.
Mathematical logic.
Type theory.
Medieval philosophy.
Law.
Information technology—Law and legislation.
Logic.
Mathematical Logic and Formal Languages.
Discourse Analysis.
Discourse analysis.
Mathematics—Philosophy.
Realism.
Logic in AI.
Knowledge, Theory of.
Science, general.
Game theory.
Legal Aspects of Computing.
History of Science.
Logic design.
Law—History.
Philosophy of Language.