×

Found 16 Documents (Results 1–16)

Gibbard’s collapse theorem for the indicative conditional: an axiomatic approach. (English) Zbl 1383.03011

Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 181-188 (2013).
MSC:  03A05
PDFBibTeX XMLCite
Full Text: DOI

A first course in logic. An introduction to model theory, proof theory, computability, and complexity. (English) Zbl 1095.03001

Oxford Texts in Logic 1. Oxford: Oxford University Press (ISBN 0-19-852981-3/hbk; 0-19-852980-5/pbk). xx, 431 p. (2004).
MSC:  03-01
PDFBibTeX XMLCite

Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 2000–2001. No. XV. (Trudy nauchno-issledovatel’skogo seminara Logicheskogo Tsentra Instituta Filosofii RAN. 2000–2001. Vyp. XV.) (Russian) Zbl 0989.00031

Trudy Nauchno-Issledovatel’skogo Seminara Logicheskogo Tsentra Instituta Filosofii RAN. 15. Moskva: Rossijskaya Akademiya Nauk, Institut Filosofii. 127 p. (2001).
MSC:  00B25 03-06
PDFBibTeX XMLCite

Automated deduction in equational logic and cubic curves. (English) Zbl 0921.03011

Lecture Notes in Computer Science 1095. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. ix, 231 p. DM 54.00; öS 394.20; sFr. 48.00 (1996).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field