Hoppa till sidans huvudinnehåll

3 139 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied.

Produktinformation

  • Utgivningsdatum1994-12-08
  • Mått160 x 241 x 29 mm
  • Vikt831 g
  • FormatInbunden
  • SpråkEngelska
  • SerieStudies in Logic and Computation
  • Antal sidor464
  • FörlagClarendon Press
  • ISBN9780198538592

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Del 3

Nonstandard Queries and Nonstandard Answers

Imielinski Demolombe, Tomasz Imielinski, R. Demolombe, R. Demolombe, T. Imielinski, Centre d'Etudes et de Recherches de Toulouse) Demolombe, R. (Professor, Professor, USA) Imielinski, T. (Professor, Department of Computer Science, Professor, Department of Computer Science, Rutgers University, New Jersey

Inbunden

2 029 kr

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Indiana University) Allwein, Gerard (Assistant Director, Visual Inference Laboratory, Assistant Director, Visual Inference Laboratory, USA) Barwise, Jon (Department of Computer Science, Mathematics, and Philosophy, Department of Computer Science, Mathematics, and Philosophy, Indiana University, Barwise Allwein, Gerard Allwein, Jon Barwise

Inbunden

2 749 kr

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, Luis Farinas del Cerro, France) Herzig, A. (, all at Languages et Systemes Informatiques, Universite Paul Sabatier, Toulouse, Farinas del Cerro Crocco, Farinas Del Cerro Crocco, Luis Farinas Del Cerro, G. Crocco, L. Fariñas del Cerro

Inbunden

1 529 kr

Del 1

Intensional Logics for Programming

Luis Fariñas del Cerro, Martti Penttonen, France) Farinas del Cerro, Luis (Directeur de Recherche, Directeur de Recherche, I.R.I.T., Toulouse, Finland) Penttonen, Martti (Professor of Computer Science, Professor of Computer Science, University of Joensu

Inbunden

519 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, P. Schroeder-Heister, Kosta Dosen, Peter Schroder-Heister, Belgrade) Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Universitat Tubingen) Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language

Inbunden

2 679 kr

Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

Inbunden

2 909 kr