Logic for concurrency and synchronisation
Furkejuvvon:
| Searvvušdahkki: | |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Elektrovnnalaš E-girji |
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
c2003.
|
| Ráidu: | Trends in logic ;
v. 18. |
| Fáttát: | |
| Liŋkkat: | An electronic book accessible through the World Wide Web; click to view |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
Geahča maid: Logic for concurrency and synchronisation
- Proof, logic, and formalization
- Concepts of proof in mathematics, philosophy, and computer science /
- The nuts and bolts of proofs
- Charming proofs a journey into elegant mathematics /
- Lectures on the Curry-Howard isomorphism
- Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /