Pages that link to "Item:Q89440"

The following pages link to Logika pierwszego rzędu (Q89440):

Displayed 7 items.

• Podstawy matematyki (Q173838) ‎ (← links)
• Rachunek kwantyfikatorów (Q225487) ‎ (← links)
• Logiki wyższych rzędów (Q652507) ‎ (← links)
• Twierdzenie Craiga (Q1329954) ‎ (← links)
• Algebra cylindryczna (Q1593220) ‎ (← links)
• Algebra poliadyczna (Q1593224) ‎ (← links)
• Micro-Prolog (język programowania) (Q1646892) ‎ (← links)