Widok standardowy Widok MARC

Pozycja Hasło przedmiotowe

Liczba rekordów, w których użyto hasła: 1

001 - CONTROL NUMBER

  • control field: 28025

003 - CONTROL NUMBER IDENTIFIER

  • control field: POZN 31

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20251227184747.0

008 - FIXED-LENGTH DATA ELEMENTS

  • fixed length control field: 000522 ||a|znnbabn |a ana |c

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

  • LC control number: s 00082309

040 ## - CATALOGING SOURCE

  • Original cataloging agency: KR 93/MS
  • Subject heading/thesaurus conventions: kaba
  • Transcribing agency: KR 93/MS
  • Modifying agency: KR 93/KK

083 #4 - DEWEY DECIMAL CLASSIFICATION NUMBER

  • Classification number element-single number or beginning number of span: 510
  • Explanatory term: Matematyka

150 ## - HEADING--TOPICAL TERM

  • Topical term or geographic name entry element: Rozstrzygalność (logika matematyczna).

450 ## - SEE FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Décidabilité (logique mathématique) [f]

450 ## - SEE FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Decidability (Mathematical logic) [c]

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Control subfield: g
  • Topical term or geographic name entry element: Logika symboliczna i matematyczna.

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Funkcje obliczalne.

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: Twierdzenie Gödla.

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Problem domina.

670 ## - SOURCE DATA FOUND

  • Source citation: RAMEAU

670 ## - SOURCE DATA FOUND

  • Source citation: Mała encyklopedia logiki. - Wrocław, 1988
  • Information found: (Istnienie metody pozwalającej o każdym twierdzeniu danej teorii rozstrzygnąć za pomocą skończonej liczby prób czy jest ono twierdzeniem tej teorii)