Your search returned 13 results.

Not what you expected? Check for suggestions
1.
Advances in Proof Theory

by Reinhard Kahle, Thomas Strahm, Thomas Studer.

Series: Progress in Computer Science and Applied LogicEdition: 1st ed. 2016Material type: Computer file Computer file; Format: electronic Publication details: Springer International Publishing 2016Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Bounded Queries in Recursion Theory

by William Levine, Georgia Martin.

Series: Progress in Computer Science and Applied LogicEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
3.
The Evolution of Programs

by DERSHOWITZ.

Series: Progress in Computer Science and Applied LogicEdition: 1983Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1983Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
4.
Feasible Mathematics

by S.R. Buss, P.J. Scott.

Series: Progress in Computer Science and Applied LogicEdition: 1990Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
5.
Feasible Mathematics II

by Peter Clote, Jeffrey B. Remmel.

Series: Progress in Computer Science and Applied LogicEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
6.
Learning and Geometry: Computational Approaches

by David Kueker, Carl Smith.

Series: Progress in Computer Science and Applied LogicEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
7.
Logical Methods

by John N. Crossley, Jeffrey B. Remmel, Richard Shore, Moss E. Sweedler.

Series: Progress in Computer Science and Applied LogicEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
8.
Mathematical Logic

by Wei Li.

Series: Progress in Computer Science and Applied LogicEdition: 2nd ed. 2014Material type: Computer file Computer file; Format: electronic Publication details: Springer Basel 2014Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
9.
Number Theoretic Methods in Cryptography

by Igor Shparlinski.

Series: Progress in Computer Science and Applied LogicEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Basel 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
10.
Perspectives in Computational Complexity

by Manindra Agrawal, Vikraman Arvind.

Series: Progress in Computer Science and Applied LogicEdition: 2014Material type: Computer file Computer file; Format: electronic Publication details: Springer International Publishing 2014Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
11.
A Proof Theory for General Unification

by W. Snyder.

Series: Progress in Computer Science and Applied LogicEdition: 1991Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Boston 1991Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
12.
Symbolic Rewriting Techniques

by Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning.

Series: Progress in Computer Science and Applied LogicEdition: 1998Material type: Computer file Computer file; Format: electronic Publication details: Birkhäuser Basel 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
13.
Temporal Type Theory

by Patrick Schultz, David I. Spivak.

Series: Progress in Computer Science and Applied LogicEdition: 1st ed. 2019Material type: Computer file Computer file; Format: electronic Publication details: Springer International Publishing 2019Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart