Ways of proof theory

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Schindler, Ralf
Korporativna značnica: ebrary, Inc
Format: Elektronski eKnjiga
Jezik:angleščina
Izdano: Frankfurt ; New Brunswick : Ontos Verlag, 2010.
Serija:Ontos mathematical logic ; v. 2
Teme:
Online dostop:An electronic book accessible through the World Wide Web; click to view
Oznake: Označite
Brez oznak, prvi označite!