Jump to main content

yr 〜
yr

Search results 24

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)
Paper図書
Cambridge University Press2009.<MA41-B25>
National Diet Library
  • Subject HeadingPredicate calculus. Mathematische Logik. Mathematik. Grundlage.

Logic and its applications : 4th Indian conference, ICLA 2011 : Delhi, India, January 5-11, 2011 : proceedings. : Jan 2011, Delhi, India. (Lecture Notes in Computer Science ; 6521. Lecture Notes in Artificial Intelligence)

Logic and its applications : 4th Indian conference, ICLA 2011 : Delhi, India, January 5-11, 2011 : proceedings. : Jan 2011, Delhi, India. (Lecture Notes in Computer Science ; 6521. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-1888>
National Diet Library
  • Subject Heading...-- Congresses. Mathematische Logik. Delhi <2010> Kongress.

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)
Paper図書
Springerc2010.<M17-10-4407>
National Diet Library
  • Subject HeadingTheoretische Informatik. Mathematische Logik. Berechenbarkeit. Komplexitäts...

Logic, rationality, and interaction : second international workshop, LORI 2009 : Chongqing, China, October 8-11, 2009 : proceedings. : LORI-2 : Oct 2009, Chongqing, China. (Lecture Notes in Computer Science ; 5834. Lecture Notes in Artificial Intelligence)

Logic, rationality, and interaction : second international workshop, LORI 2009 : Chongqing, China, October 8-11, 2009 : proceedings. : LORI-2 : Oct 2009, Chongqing, China. (Lecture Notes in Computer Science ; 5834. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-1644>
National Diet Library
  • Subject Heading...System. Logik. Mathematische Logik. Rationalität. Spieltheorie. W...

Einführung in die moderne Logik 8., neu bearbeitete Aufl

Einführung in die moderne Logik 8., neu bearbeitete Aufl
Paper図書
Franz von Kutschera ; Alfred BreitkopfK. Alberc2007
Other Libraries in Japan

Einführung in die mathematische Philosophie : kart 2. Aufl

Einführung in die mathematische Philosophie : kart 2. Aufl
Paper図書
Bertrand Russell ; mit einer Einleitung von Michael Otte ; herausgegeben von Johannes Lenhard und Michael OtteF. Meiner2006
Other Libraries in Japan

Einführung in die mathematische Philosophie

Einführung in die mathematische Philosophie
Paper図書
Bertrand Russell ; mit einer Einleitung von Michael Otte ; herausgegeben von Johannes Lenhard und Michael OtteFelix meiner2002
Other Libraries in Japan

Contextual approaches to truth and the strengthened liar paradox

Contextual approaches to truth and the strengthened liar paradox
Paper図書
Christine SchurzOntos-Verlagc2012
Other Libraries in Japan

Einführung in die formale Logik für Philosophen : UTB : Vandenhoeck & Ruprecht 4., überarbeitete Aufl

Einführung in die formale Logik für Philosophen : UTB : Vandenhoeck & Ruprecht 4., überarbeitete Aufl
Paper図書
Thomas ZoglauerVandenhoeck und Ruprechtc2008
Other Libraries in Japan

Essays on realist instance ontology and its logic : predication, structure, and identity

Essays on realist instance ontology and its logic : predication, structure, and identity
Paper図書
Donald W. Mertzontos verlag2006
Other Libraries in Japan

Grundzüge der Logik 2 4., völlig neubearb. und erw. Aufl

Grundzüge der Logik 2 4., völlig neubearb. und erw. Aufl
Paper図書
von Wilhelm K. Essler und Elke Brendel ; unter Mitwirkung von Joachim LabudeV. Klostermannc1993
Other Libraries in Japan

Gottes Dasein und Wesen : logische Studien zur Summa Theologiae I, qq. 2-II

Gottes Dasein und Wesen : logische Studien zur Summa Theologiae I, qq. 2-II
Paper図書
Joseph M. BocheńskiPhilosophiac2003
Other Libraries in Japan

Formale Logik : eine philosophische Einführung

Formale Logik : eine philosophische Einführung
Paper図書
Paul Hoyningen-HueneReclam[c1998]
Other Libraries in Japan

Einführung in die formale Logik für Philosophen : UTB : Vandenhoeck & Ruprecht

Einführung in die formale Logik für Philosophen : UTB : Vandenhoeck & Ruprecht
Paper図書
Thomas ZoglauerVandenhoeck & Ruprecht1997
Other Libraries in Japan

Logik

Logik
Paper図書
Wesley C. Salmon ; aus dem Englischen übersetzt von Joachim BuhlP. Reclamc1983
Other Libraries in Japan

Wirklichkeit als Poly-Kontexturalität, Reflexion, logische Paradoxie, Mehrwertige Logik, Denken, Wollen, Proemielle Relation, Kenogrammatik, Dialektik der natürlichen Zahl, Dialektischer Materialismus

Wirklichkeit als Poly-Kontexturalität, Reflexion, logische Paradoxie, Mehrwertige Logik, Denken, Wollen, Proemielle Relation, Kenogrammatik, Dialektik der natürlichen Zahl, Dialektischer Materialismus
Paper図書
Felix Meiner1979
Other Libraries in Japan

Logik und Argumentation

Logik und Argumentation
Paper図書
Chaim Perelman ; Herausgegeben und aus dem Französischen übersetzt von Freyr Roland VarwigAthenäum1979
Other Libraries in Japan

Folgerichtig Denken : logische Untersuchungen zu philosophischen Problemen und Begriffen

Folgerichtig Denken : logische Untersuchungen zu philosophischen Problemen und Begriffen
Paper図書
Albert MenneWissenschaftliche Buchgesellschaftc1988
Other Libraries in Japan

Formale Logik : logische Systeme : Einführung in die Metalogik : ein Lehrbuch

Formale Logik : logische Systeme : Einführung in die Metalogik : ein Lehrbuch
Paper図書
Ludwik Borkowski ; hrsg. von Lothar Kreiser ; [Ins Deutsche übertragen von Karl-Heinz Beschoner und Karl Jürgen Meyer]Beck1977
Other Libraries in Japan

Logische Sprachregeln : eine Einführung in die Logik

Logische Sprachregeln : eine Einführung in die Logik
Paper図書
A. Sinowjew ; H. WesselVED Deutscher Verlag der Wissenschaften1975
Other Libraries in Japan
RSS