Zaloga: Computability and logic /

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Boolos, George. (Author), Jeffrey, Richard C. (Author)
Format:	Knjiga
Jezik:	English
Izdano:	Cambridge ; New York ; Melbourne : Cambridge University Press, 1999, cop. 1989.
Izdaja:	3rd ed., reprinted.
Teme:	Fonctions calculables. Fonctions récursives. Logique symbolique et mathématique. Computable functions. Recursive functions. Logic, Symbolic and mathematical. logika > filozofija logics > philosophy
Oznake:	Označite Brez oznak, prvi označite!

Vzdrževanje sistema

Trenutno vzdržujemo knjižnični informacijski sistem.

Informacije o zalogi so trenutno nedostopne. Opravičujemo se za nevšečnosti in vas prosimo da nas ponovno kontaktirate: