799:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This work contains the formulae (including the definitions and proofs) of the mathematical logic R0, a further development of Peter B. Andrews' higher-order logic Q0.
- Format: Pocket/Paperback
- ISBN: 9783943334074
- Språk: Engelska
- Antal sidor: 830
- Utgivningsdatum: 2017-03-15
- Förlag: Owl of Minerva Press