Entry Nazwa pospolita
Used in 106 records as subject heading
001 - CONTROL NUMBER
- control field: 97369
003 - CONTROL NUMBER IDENTIFIER
- control field: WA 392
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20220204001031.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 950301 ||a| nnbabn |a ana |c
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: s 95010216
040 ## - CATALOGING SOURCE
- Original cataloging agency: KR 93/MK
- Transcribing agency: WA U/BL
- Modifying agency: WA U/ks
083 #4 - DEWEY DECIMAL CLASSIFICATION NUMBER
- Classification number element--single number or beginning number of span: 510
083 #4 - DEWEY DECIMAL CLASSIFICATION NUMBER
- Classification number element--single number or beginning number of span: 100
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Logika symboliczna i matematyczna.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika formalna.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika matematyczna.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika symboliczna.
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika uniwersalna.
472 ## -
- : Logique mathématique [f]
472 ## -
- : Logic, Symbolic and mathematical [c]
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika nowożytna.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Matematyka.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Algebra abstrakcyjna.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Metamatematyka.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Podstawy matematyki.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria zbiorów.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Aksjomatyka.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Algebra Boole'a.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Definiowalność (logika matematyczna).
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Formalizacja (matematyka).
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Funkcje rekursywne.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Intuicjonizm matematyczny.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Kategorie (matematyka).
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logicyzm.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika algebraiczna.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika informatyczna.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika kombinatoryczna.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika kwantowa.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika matematyczna nieklasyczna.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika pierwszego rzędu.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika rozmyta.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Maszyny logiczne.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Matematyka konstruktywna.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Nauka
- General subdivision: metodologia.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Programowanie logiczne.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Rachunek kwantyfikatorów.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Rachunek lambda.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Rozstrzygalność (logika matematyczna).
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria automatów.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria dowodu.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria komutacji.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria modeli.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria rekursywności.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Teoria typów (logika matematyczna).
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Twierdzenie Gödla.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Twierdzenie o zupełności.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Rachunek zdań.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika macierzowa.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Kwazirozmaitości (algebra uniwersalna).
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Pi-rachunek.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logika progowa.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Rachunek nazw.
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Problem domina.
670 ## - SOURCE DATA FOUND
- Source citation: RAMEAU