Searching Books & More : "Calculus"

Logic, Symbolic and mathematical X
7 results found in Books & More
RSS
Cover images provided by Open Library

Completeness, compactness, and undecidability : an introduction to mathematical logic

Published: Englewood Cliffs, N.J. : Prentice-Hall, [1975]
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

The logic of plurality

Published: London, Methuen, 1971
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Solvable cases of the decision problem

Published: Amsterdam, North-Holland Pub. Co., 1962 [c1954]
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Geometry of knowledge for intelligent systems

Published: Berlin ; New York : Springer, c2013
Format: Electronic Resource, Remote
Retrieving Holdings Information
Cover images provided by Open Library

Language in action : categories, lambdas, and dynamic logic

Published: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distributor], 1991
Format: Print
Retrieving Holdings Information
Cover images provided by Open Library

Adapting proofs-as-programs the Curry-Howard protocol

Published: New York : Springer c2005
Format: Electronic Resource, Remote
Retrieving Holdings Information
Cover images provided by Open Library

Language & grammar : studies in mathematical linguistics and natural language

Published: Stanford, Calif. : Center for the Study of Language and Information, c2005
Format: Print
Retrieving Holdings Information