First-order Programming Theories
☆☆☆☆☆
(0 reviews)
| 卖家 | Product price | Delivery | 总计 | 可用性 | Updated | |
|---|---|---|---|---|---|---|
| IN Indigo Books & Music | 142,95 CAD | 19,00 CAD | 161,95 CAD | 可购买 | 2 周前 | View offer |
价格和库存可能会有变动。 最后更新: 02.08.2026 17:38.
EAN
9783642635038
None
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.
Similar products
Repertorium Fr Kunstwissenschaft
from $188.95
Pilzverwertung Und Pilzkonservierung
from $112.32
Die Rechtsstellung Des Verlegers Nach Modernem Recht
from $127.00
Einfuhrung in Die Kommunikationswissenschaft
from $153.08
ber Die Tempel Und Grber Im Alten gypten Und Ihre Bildwerke Und Inschriften
from $153.08
Die Baltische Steinkistengrberkultur
from $138.44
Über die Seele
from $164.27