×

Found 21 Documents (Results 1–21)

100
MathJax

Conceptions of infinity and set in Lorenzen’s operationist system. (English) Zbl 07465325

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 23-46 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. (English) Zbl 1344.03002

Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

An algebraic presentation of predicate logic (extended abstract). (English) Zbl 1260.68116

Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Basic simple type theory. Paperback reprint with corrections. (English) Zbl 1135.03006

Cambridge Tracts in Theoretical Computer Science 42. Cambridge: Cambridge University Press (ISBN 978-0-521-05422-5/pbk). xii, 186 p. (2008).
PDF BibTeX XML Cite

Many-dimensional modal logics: theory and applications. (English) Zbl 1051.03001

Studies in Logic and the Foundations of Mathematics 148. Amsterdam: Elsevier (ISBN 0-444-50826-0/hbk). xviii, 747 p. (2003).
PDF BibTeX XML Cite

Generalized inductive definitions. The \(\mu\)-calculus and \(\Pi^1_2\)-comprehension. (English) Zbl 1050.03040

Münster: Univ. Münster, Fachbereich Mathematik und Informatik. vi, 136 p. (2002).
PDF BibTeX XML Cite

Improving proof search in intuitionistic propositional logic. (English) Zbl 0995.03027

Berlin: Logos Verlag; München: Univ. München, Fakultät für Mathematik und Informatik (Dissertation) (ISBN 3-89722-767-3). viii, 132 p. EUR 40.50 (2001).
PDF BibTeX XML Cite

Deciding provability of linear logic formulas. (English) Zbl 0823.03004

Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 109-122 (1995).
PDF BibTeX XML Cite

Hierarchical optiization of large systemization of large systems with holdover. (English. Russian original) Zbl 0805.49002

Autom. Remote Control 54, No. 4, Pt. 1, 594-604 (1993); translation from Avtom. Telemekh. 1993, No. 4, 73-84 (1993).
Reviewer: E.Iwanow (Wien)
PDF BibTeX XML Cite

Logic and computer science: an introduction. (Logique et informatique: une introduction. Avant propos de Maurice Nivat.) (French) Zbl 0746.03003

Collection Didactique. 8. Rocquencourt: INRIA. 257 p. (1991).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

Software