First-order Programming Theories
☆☆☆☆☆
(0 reviews)
| 판매자 | Product price | Delivery | 합계 | 재고 여부 | Updated | |
|---|---|---|---|---|---|---|
| IN Indigo Books & Music | 142,95 CAD | 19,00 CAD | 161,95 CAD | 구매 가능 | 1주 전 | 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