Search
Feedback
About
Help
News
Refine your search: (isxn:0521371813)
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Proofs and types
Loading...
Authors:
Girard, Jean-Yves
---
Taylor, Paul
---
Lafont, Yves
ISBN: 0521371813 9780521371810 Year: 1993 Publisher: Cambridge Cambridge University press
ISBN: 0521371813 9780521371810 Year: 1993 Publisher: Cambridge Cambridge University press
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
510.64 --- 510.64 Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Non-classical, formal systems of logic. Modal logic. Multiple-value logics. Syllogistics. Inductive logic. Probabilistic logic --- Lambda calculus.
| Listing 1 - 1 of 1 |
Sort by
|