Restoring old revision of "Item:Q1311520"

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to a username, among other benefits.

@@ Property / National Library Identifier @@
-a0000001003849
@@ Property / National Library Identifier: a0000001003849 / rank @@
-Normal rank
@@ Property / Related Subject @@
-Arytmetyka drugiego rzędu
@@ Property / Related Subject: Arytmetyka drugiego rzędu / rank @@
-Normal rank
@@ Property / Related Subject @@
-Arytmetyka Presburgera
@@ Property / Related Subject: Arytmetyka Presburgera / rank @@
-Normal rank
@@ Property / Related Subject @@
-Filozofia logiki
@@ Property / Related Subject: Filozofia logiki / rank @@
-Normal rank
@@ Property / Related Subject @@
-Funkcja boolowska
@@ Property / Related Subject: Funkcja boolowska / rank @@
-Normal rank
@@ Property / Related Subject @@
-Językoznawstwo matematyczne
@@ Property / Related Subject: Językoznawstwo matematyczne / rank @@
-Normal rank
@@ Property / Related Subject @@
-Kwantyfikator
@@ Property / Related Subject: Kwantyfikator / rank @@
-Normal rank
@@ Property / Related Subject @@
-Logika formalna
@@ Property / Related Subject: Logika formalna / rank @@
-Normal rank
@@ Property / Related Subject @@
-Matematyka odwrotna
@@ Property / Related Subject: Matematyka odwrotna / rank @@
-Normal rank
@@ Property / Related Subject @@
-Metamatematyka
@@ Property / Related Subject: Metamatematyka / rank @@
-Normal rank
@@ Property / Related Subject @@
-Niesprzeczność
@@ Property / Related Subject: Niesprzeczność / rank @@
-Normal rank
@@ Property / Related Subject @@
-Podstawy matematyki
@@ Property / Related Subject: Podstawy matematyki / rank @@
-Normal rank
@@ Property / Related Subject @@
-Programowanie w logice (informatyka)
@@ Property / Related Subject: Programowanie w logice (informatyka) / rank @@
-Normal rank
@@ Property / Related Subject @@
-Semantyka Kripkego
@@ Property / Related Subject: Semantyka Kripkego / rank @@
-Normal rank
@@ Property / Related Subject @@
-Twierdzenia Gödla
@@ Property / Related Subject: Twierdzenia Gödla / rank @@
-Normal rank
@@ Property / Related Subject @@
-Eliminacja kwantyfikatorów
@@ Property / Related Subject: Eliminacja kwantyfikatorów / rank @@
-Normal rank
@@ Property / Related Subject @@
-Logika algebraiczna
@@ Property / Related Subject: Logika algebraiczna / rank @@
-Normal rank
@@ Property / Related Subject @@
-Logika infinitarna
@@ Property / Related Subject: Logika infinitarna / rank @@
-Normal rank
@@ Property / Related Subject @@
-Logika rozmyta
@@ Property / Related Subject: Logika rozmyta / rank @@
-Normal rank
@@ Property / Related Subject @@
-Matryca logiczna (matematyka)
@@ Property / Related Subject: Matryca logiczna (matematyka) / rank @@
-Normal rank
@@ Property / Related Subject @@
-Rachunek kombinatorów
@@ Property / Related Subject: Rachunek kombinatorów / rank @@
-Normal rank
@@ Property / Related Subject @@
-Rachunek kwantyfikatorów
@@ Property / Related Subject: Rachunek kwantyfikatorów / rank @@
-Normal rank
@@ Property / Related Subject @@
-Rachunek lambda
@@ Property / Related Subject: Rachunek lambda / rank @@
-Normal rank
@@ Property / Related Subject @@
-Rachunek sekwentów
@@ Property / Related Subject: Rachunek sekwentów / rank @@
-Normal rank
@@ Property / Related Subject @@
-Sylogistyka
@@ Property / Related Subject: Sylogistyka / rank @@
-Normal rank
@@ Property / Related Subject @@
-Teoria modeli (matematyka)
@@ Property / Related Subject: Teoria modeli (matematyka) / rank @@
-Normal rank
@@ Property / Related Subject @@
-Teoria typów
@@ Property / Related Subject: Teoria typów / rank @@
-Normal rank
@@ Property / Related Subject @@
-Twierdzenie Craiga
@@ Property / Related Subject: Twierdzenie Craiga / rank @@
-Normal rank
@@ Property / Related Subject @@
-Zbiór definiowalny
@@ Property / Related Subject: Zbiór definiowalny / rank @@
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-P87789T74703
@@ Property / Version: P87789T74703 / rank @@
-Normal rank