Your search returned 3 results.

Sort
Results
1.
Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Series: International Mathematical Series ; 5
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 M38 2007.

2.
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Series: Applied Logic Series ; 35
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 C37 2008.

3.
Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Series: International Mathematical Series ; 4
Material type: Computer file Computer file; Format: electronic
Publication details: New York, NY : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 G33 2006.

Pages

Powered by Koha