Ładuje się......

Completeness,compactness and undecidability /

Opis bibliograficzny
1. autor: Manaster,A.B
Format: Printed Book
Język:English
Wydane: New Jersey Prentice -Hall 1975
Seria:Introduction to mathematical logic

MAT

Szczegóły zapisu MAT
Sygnatura: 510.633 MAN
Egzemplarz Możliwość dostępu nieznana