Proof and disproof in formal logic : an introduction for programmers /

Uložené v:
Podrobná bibliografia
Hlavný autor: Bornat, Richard, 1944-
Médium: Kniha
Jazyk:English
Vydané: Oxford ; New York : Oxford University Press, 2005.
Vydanie:1st ed.
Edícia:Oxford texts in logic 2
Témy:
ISBN: 0198530277 (brož.)
9780198530275 (brož.)
Fyzický popis: xix, 243 s. : il. ; 24 cm.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!

Skenovanie dokumentov z fondu ŠVK - Slovenské technické normy (STN) nekopírujeme

Objednať si môžete skeny článkov z časopisov, častí kníh (maximálne do 20% obsahu celého dokumentu) za účelom vzdelávania, výskumu a bádania v súlade so zákonom o ochrane autorských práv... čítajte ďalej

Žiadanka na skenovanie
Celkový počet rezervácií: 0
 Status   Požičané do   Čiarový kód
Signatúra 
 Umiestnenie  Popis
Zoradiť podľa
Poznámky
Absenčne  Požiadavka 2720173389
IV.205962
Výpožičný pult Hlavná 10