- Tytuł:
- Herbrand consistency and bounded arithmetic
- Autorzy:
- Adamowicz, Zofia (1950- )
- Tematy:
- Logika matematyczna
- Pokaż więcej
- Data publikacji:
- 2002
- Dostawca treści:
- Academica
Artykuł
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.