The Curious Inference of Boolos in Mizar and OMEGA / Christoph E. Benzmüller and Chad E. Brown.
Rodzaj materiału:
ArtykułTematy: From insight to proof 10 (23) (2007), s. 299-386
W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 299-386
W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 299-386
Brak egzemplarzy dla tego rekordu
Tytuł. nagł.
Bibliogr. s. 313-314.