Jump to main content

yr 〜
yr

Search results 51

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)
Paper図書
Elsevier2002.<MA41-B19>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica. Argumentatie. Logique symboli...

Logique juridique et logique probabiliste à l'âge moderne : perspectives pour une philosophie du langage

Logique juridique et logique probabiliste à l'âge moderne : perspectives pour une philosophie du langage
Paper図書
Angela Giovanna PalermoMimésisc2019
Other Libraries in Japan

The analytical method of Navya-Nyāya

The analytical method of Navya-Nyāya
Paper図書
Toshihiro WadaEgbert Forsten2007
Other Libraries in Japan

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)
Paper図書
Springerc2002.<M17-07-789>
National Diet Library
  • Subject Heading...e) -- Congrès. Logica. Programmeertalen. Kunstmatige...

Kreisel's interests : on the foundations of logic and mathematics

Kreisel's interests : on the foundations of logic and mathematics
Paper図書
edited by Paul Weingartner, Hans-Peter LeebCollege Publicationsc2020
Other Libraries in Japan

Trucos con sombreros Primera edición en español. (Los especiales de ciencia)

Trucos con sombreros Primera edición en español. (Los especiales de ciencia)
Paper図書児童書
texto de Akihiro Nozaki, ilustraciones de Mitsumasa Anno.Fondo de Cultura Económica2005.<Y11-B908>
National Diet Library

Il diavolo in cattedra : la logica da Aristotele a Gödel

Il diavolo in cattedra : la logica da Aristotele a Gödel
Paper図書
Piergiorgio OdifreddiEinaudic2004
Other Libraries in Japan

Filosofía de la lógica

Filosofía de la lógica
Paper図書
edición de Raúl Orayen y Alberto MorettiEditorial Trotta : Consejo Superior de Investigaciones Científicasc2004
Other Libraries in Japan

Les philosophies morale et naturelle du Pseudo-Robert Grosseteste : étude, édition critique et traduction des Communia de Salamanque (Ms. Salamanca, BU 1986, fol. 99ra-102vb) : Vrin : PUL

Les philosophies morale et naturelle du Pseudo-Robert Grosseteste : étude, édition critique et traduction des Communia de Salamanque (Ms. Salamanca, BU 1986, fol. 99ra-102vb) : Vrin : PUL
Paper図書
sous la direction de Claude LafleurLibr. philosophique J. Vrinc2018
Other Libraries in Japan

The lambda calculus : its syntax and semantics / H.P. Barendregt. (Studies in logic and the foundations of mathematics ; v. 103)

The lambda calculus : its syntax and semantics / H.P. Barendregt. (Studies in logic and the foundations of mathematics ; v. 103)
Paper図書
North-Holland Pub. Co.1981.<MA41-180>
National Diet Library

La logique de Carpentras : Carpentras, Bibliothèque Inguimbertine, Ms. 1832, fol. 205r-259r

La logique de Carpentras : Carpentras, Bibliothèque Inguimbertine, Ms. 1832, fol. 205r-259r
Paper図書
[Pierre Gassendi] ; transcription, introduction, traduction et notes par Sylvie TaussigBrepolsc2012
Other Libraries in Japan
  • Subject HeadingGassendi, Pierre, 1592-1655 Aristotelisme. gtt Dialectiek. gtt Logica. gtt Epicurus Atomism
  • Subject Heading (ID)Gassendi, Pierre, 1592-1655 Aristotelisme. gtt Dialectiek. gtt Logica. gtt Epicurus Atomism

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)
Paper図書
Springer1981.<MA41-184>
National Diet Library

Paradigmi per una metaforologia 1a ed

Paradigmi per una metaforologia 1a ed
Paper図書
Hans Blumenberg ; [tradizione di Maria Vittoria Serra Hansberg]Raffaello Cortina Editore2009
Other Libraries in Japan

Southeast Asian Conference on Logic / proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks. (Studies in logic and the foundations of mathematics ; v.3)

Southeast Asian Conference on Logic / proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks. (Studies in logic and the foundations of mathematics ; v.3)
Paper図書
North-Holland1983.<MA41-191>
National Diet Library

The two fundamental problems of the theory of knowledge

The two fundamental problems of the theory of knowledge
Paper図書
Karl Popper ; edited by Troels Eggers Hansen ; translated by Andreas PickelRoutledge2009
Other Libraries in Japan

Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 / edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen. (Synthese library ; v. 122)

Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 / edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen. (Synthese library ; v. 122)
Paper図書
D. Reidelc1979.<H35-90>
National Diet Library
  • Subject HeadingLogic -- Congresses. Logica.

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)

A relational theory of computing / John G. Sanderson. (Lecture notes in computer science ; 82)
Paper図書
Springer-Verlag1980.<M159-121>
National Diet Library

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / edited by B. Robinet. (Lecture notes in computer science ; 83)

International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / edited by B. Robinet. (Lecture notes in computer science ; 83)
Paper図書
Springer-Verlag1980.<M159-122>
National Diet Library

The theory of ultrafilters / W. W. Comfort, S. Negrepontis. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 211)

The theory of ultrafilters / W. W. Comfort, S. Negrepontis. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 211)
Paper図書
Springer-Verlag1974.<MA41-76>
National Diet Library

An algebraic approach to non-classical logics. (Studies in logic and the foundations of mathematics, v. 78)

An algebraic approach to non-classical logics. (Studies in logic and the foundations of mathematics, v. 78)
Paper図書
North-Holland Pub. Co.1974.<H35-59>
National Diet Library
RSS