Rahman, Shahid.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-語言資料,印刷品)
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]
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]
主題
Mathematical logic.
Type theory.
Medieval philosophy.
Law.
Theory of Computation.
Logic Design.
Information technology—Law and legislation.
Logic.
Philosophy of Law.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Semantics.
Constructivism (Philosophy)
Discourse Analysis.
Discourse analysis.
Axiom of choice.
History of Philosophy.
Game Theory, Economics, Social and Behav. Sciences.
Mathematics—Philosophy.
Medieval Philosophy.
Philosophy.
Realism.
Law—Philosophy.
Arabic.
Logic in AI.
Knowledge, Theory of.
Theories of Law, Philosophy of Law, Legal History.
Science, general.
Game theory.
Legal Aspects of Computing.
Logic programming.
Science
Epistemics.
Computers—Law and legislation.
History of Science.
Logic design.
Epistemology.
Reasoning.
Law—History.
Philosophy of Language.
Philosophy of Mathematics.