| Algorithmic randomness and complexity. Theory and Applications of Computability Rodney G. Downey Denis R. Hirschfeldt |
Rodney G. Downey |
Laurent Bienvenu |
The Bulletin of Symbolic Logic |
2012-03-00 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Jesus M Larrazabal |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2008-04-01 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Computability Theory |
Edward R Griffor |
Lars Kristiansen |
Studia Logica |
2007-06-01 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
Martin Davis |
Notre Dame Journal of Formal Logic |
1990-06-01 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming |
George J Tourlakis |
Ann Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Non-Classical Logics, Model Theory and Computability A. I. Arruda R. Chuaqui N. C. A. da Costa |
A. I. Arruda |
Carlos Lungarzo |
Crítica: Revista Hispanoamericana de Filosofía |
1980-04-00 |
| Logic, Foundations of Mathematics, and Computability Theory |
R. E. Butts |
David Miller |
Synthese |
1980-03-00 |
| Logic, Foundations of Mathematics, and Computability Theory |
R E Butts |
Gabriele Lolli |
Scientia: International Review of Scientific Synthesis |
1978-01-01 |
| Theory of Recursive Functions and Effective Computability |
Hartley Rogers Jr |
C E M Yates |
The Journal of Symbolic Logic |
1971-03-01 |
