9 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Modality (Logic), Computational linguistics, Affine Geometry, Axiomatisation, Functions, Orthogonal, Geometry, Affine, Langages de programmation, Language arts, data processing, Logic, Logic, symbolic and mathematical, Logique mathématique, MATHEMATICS / Logic, Mathematical analysis, Mathematics, Measure theory, Modal analysis, Méthodologie programmation, Nonstandard mathematical analysis, Orthogonal Functions, Preuve, Théorie de la, Programmation en logique, Programming languages (Electronic computers), Proof theory, Real Functions, SemanticsID Numbers
- OLID: OL224731A
Links outside Open Library
No links yet. Add one?
September 7, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |