Szczegóły publikacji
Opis bibliograficzny
Metody dowodowe i zastosowania klasycznego rachunku zdań — Proving methods and applications of classical propositional calculus / Wiesław KURPIEWSKI // W: Ideał nauki i wartości w filozofii XIX–XXI wieku = The concepts of science and values in philosophy 19th–21st centuries / red. Ignacy S. Fiut. — Kraków : na zlec. WNSS AGH : Stowarzyszenie Twórcze Artystyczno-Literackie, 2004. — (Prace Zakładu Filozofii Wydziału Nauk Społecznych Stosowanych Akademii Górniczo-Hutniczej ; t. 6) ; (Idee i Myśliciele = Ideas and Thinkers). — Na s. red. rok wydania i druku: 2003. — ISBN: 83-88527-62-2. — S. 315–352. — Abstr.
Autor
Dane bibliometryczne
ID BaDAP | 16561 |
---|---|
Data dodania do BaDAP | 2004-05-12 |
Rok publikacji | 2004 |
Typ publikacji | fragment książki |
Otwarty dostęp | |
Czasopisma/serie | Idee i Myśliciele = Thinkers and Ideas, Prace Zakładu Filozofii Wydziału Nauk Społecznych Stosowanych Akademii Górniczo\=Hutniczej |