ISBN: 9781904987574 - automated reasoning in higher-order logic: set comprehension and extensionality in church's type theory (studies in logic, logic and cognitive systems, band 10) (1 Ergebnisse)
von Chad E. Brown
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 32,51
EUR 13,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
