Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Mathematical Problems from Applied Logic I Электронный ресурс Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.

By: Gabbay, Dov MContributor(s): Goncharov, Sergei S | Zakharyaschev, Michael | SpringerLink (Online service)Material type: Computer fileComputer fileSeries: International Mathematical SeriesPublication details: New York, NY : Springer Science+Business Media, Inc., 2006ISBN: 9780387310725Subject(s): Computer Science | logic | Logic design | Logic, Symbolic and mathematical | mathematics | Logic | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Mathematics of ComputingOnline resources: Click here to access online In: Springer e-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.