Wynik wyszukiwania

Zapytanie: LOGIKA MATEMATYCZNA
Liczba odnalezionych rekordów: 48



Przejście do opcji zmiany formatu | Wyświetlenie wyników w wersji do druku
1/48

AUT: Pogorzelski Witold
TYT: Elementarny słownik logiki formalnej / Witold A. Pogorzelski.
WYD: Białystok : Dział Wydaw. Filii UW, 1992
OBJ: 573 s., 24 cm,
DOD: Bibliogr., skor.
JĘZ: pol
Hasło przedm.: Logika matematyczna * słowniki.
SYGNATURA: Czytelnia: IV. Log. 7.: 86130 ; 86129 ; 86762

2/48

AUT: Kotarbiński Tadeusz
TYT: Dzieła wszystkie / Tadeusz Kotarbiński.
WYD: Wrocław : Warszawa : Kraków : 1990-
OBJ: 25 cm,
TOM: T. 1: Elementy teorii poznania, logiki formalnej i metodologii nauk. 1990.
DOD: Ind.
JĘZ: pol
ISBN: 83-04-03158-2
Hasło przedm.: Teoria poznania. *
Hasło przedm.: Logika matematyczna. *
Hasło przedm.: Metodologia. *
SYGNATURA: Czytelnia: IV. Filoz. 83.1.: 84620

3/48

AUT: Słupecki Jerzy , Hałkowska Katarzyna , Piróg- Rzepecka Krystyna
TYT: Logika i teoria mnogości: podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka.
NR WYD: Wyd. 2 popr.
WYD: Warszawa : Wydaw. Nauk. PWN, 1994
OBJ: 311 s., rys., 24 cm,
DOD: Lektura uzup., skor.
JĘZ: pol
ISBN: 83-01-11396-0
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 88443

4/48

AUT: Murphree Wallace A.
TYT: Numerically exceptive logic: a reduction of the classical syllogism / Wallace A. Murphree.
WYD: New York... : Peter Lang, 1991
OBJ: 212 s., rys., 24 cm,
SERIA: (American University Studies; Series 5: Philosophy, ISSN 0739-6392 ; vol. 112)
DOD: Tab., glossary s. 205-212.
JĘZ: eng
ISBN: 0-8204-1449-2
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 88641

5/48

AUT: Stępień Antoni B.
TYT: Wstęp do filozofii / Antoni B. Stępień
NR WYD:
WYD: Lublin : Tow. Nauk. KUL, 1995
OBJ: 476,[6] s., 24 cm,
SERIA: (Prace Wydziału Filozoficznego KUL / Tow. Nauk. KUL ; 65)
DOD: Słownik wyb. terminów filozoficznych s. 325-418, bibliogr. s. 419-454, ind. osobowy s. 455-465, ind. głównych terminów s. 467-477.
JĘZ: pol
ISBN: 83-86668-16-4
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 204703 ; Czytelnia: 204847

6/48

AUT: Porębska Małgorzata , Suchoń Wojciech
TYT: Elementarny wykład logiki formalnej: z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń.
WYD: Kraków : Tow. Autorów i Wydaw. Prac Nauk. Universitas, 1996
OBJ: 292,[1] s., rys., 24 cm,
DOD: Tab., ind.
JĘZ: pol
ISBN: 83-7052-994-1
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Komputery * stosowanie * podręczniki akademickie.
SYGNATURA: 205543

7/48

AUT: Borkowski Ludwik
TYT: Logika formalna: systemy logiczne: wstęp do metalogiki / Ludwik Borkowski.
WYD: Warszawa : Państ. Wydaw. Nauk., 1970
OBJ: 392,[1] s., rys., 24 cm, err.
DOD: Lit., skor.
JĘZ: pol
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 68750 ; Czytelnia: W.941 IV. Log. 3. ; W.942 ; W.943 ; W.944

8/48

AUT: Stępień Antoni B.
TYT: Wstęp do filozofii / Antoni B. Stępień.
NR WYD: Wyd. 2 rozsz.
WYD: Lublin : Tow. Nauk. KUL, 1989
OBJ: 342,[2] s., 24 cm,
SERIA: (Rozprawy Wydziału Filozoficznego / Tow. Nauk. KUL ; 43)
DOD: Tab., dod., bibliogr., ind.
JĘZ: pol
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 83789 ; 84754 ; 86420 ; 208086 ; 215933

9/48

AUT: Stępień Antoni B.
TYT: Elementy filozofii / Antoni B. Stępień, Wydz. Filozofii Chrześcijańskiej KUL.
NR WYD: Wyd. 2.
WYD: Lublin : Red. Wydaw. KUL, 1982
OBJ: 167,[1] s., 24 cm,
DOD: Przewodnik bibliogr., ind.
JĘZ: pol
ISBN: 83-00-00445-9
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 78270 ; 209594 ; W.7502 ; W.7590 ; W.7591 ; W.7593 ; W.7594 ; W.7595

10/48

AUT: Porębska Małgorzata , Suchoń Wojciech
TYT: Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń.
WYD: Warszawa : Państ. Wydaw. Nauk., 1991
OBJ: 259,[1] s., rys., 20 cm, err.
DOD: Zadania, tab.
JĘZ: pol
ISBN: 83-01-09980-1
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 86465 ; 211879

11/48

AUT: Słupecki Jerzy , Hałkowska Katarzyna , Piróg- Rzepecka Krystyna
TYT: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka.
NR WYD: Wyd. 2 popr. i uzup.
WYD: Warszawa : Wydaw. Nauk. PWN, 1999
OBJ: 329,[2] s., rys., 24 cm,
DOD: Uwagi historyczne, lit., skor.
JĘZ: pol
ISBN: 83-01-12958-1
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 212825 ; 215300

12/48

TYT: Emil L. Post and the problem of mechanical provability: a survey of Post's contributions in the centenary of his birth / [ed.: Halina Święczkowska, Katedra Logiki, Informatyki i Filozofii Nauki Uniw. w Białymstoku].
WYD: Białystok : Wydaw. Uniw. w Białymstoku, 1998
OBJ: 124 s., 23 cm,
SERIA: (Studies in Logic, Grammar and Rhetoric / Katedra Logiki, Informatyki i Filozofii Nauki Uniw. w Białymstoku, ISSN 0860-150X ; 2(15))
DOD: Tab., lit.
JĘZ: eng
ISBN: 83-87884-07-3
Hasło przedm.: Logika matematyczna * zagadnienia. *
Hasło przedm.: Post Emil Leon. *
SYGNATURA: 214713

13/48

AUT: Lyndon Roger C.
TYT: O logice matematycznej / Roger C. Lyndon, [tł. Wiktor Marek].
WYD: Warszawa : Państ. Wydaw. Nauk., 1968
OBJ: 111 s., 17 cm,
SERIA: (Małe Monografie PWN) - (Matematyka)
UW: Tyt. oryg.: Notes on logic.
DOD: Bibliogr., skor.
JĘZ: pol (oryg. eng)
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 52533 ; 191373

14/48

AUT: Hodges Andrew
TYT: Turing / Andrew Hodges, przekł. Justyna Nowotniak.
WYD: Warszawa : Amber, 1998
OBJ: 95,[1] s., 19 cm,
SERIA: (Wielcy Filozofowie) - (Miniatury Filozoficzne)
UW: Tyt. oryg.: Turing. A natural philosopher.
DOD: Lit.
JĘZ: pol (oryg. eng)
ISBN: 83-7169-568-3
Hasło przedm.: Logika matematyczna * Wielka Brytania * 20 w. *
Hasło przedm.: Turing Alan. *
SYGNATURA: 191547

15/48

AUT: Suszko Roman
TYT: Odrzucenie aksjomatu Fregego i reifikacja sytuacji / Roman Suszko.
WYD: Lublin : Wydaw. Uniw. Marii Curie-Skłodowskiej, 2000
OBJ: 92 s., 21 cm,
SERIA: (Stany Rzeczy - Sytuacje - Zdarzenia ; T. 6)
DOD: Bibliogr., dod.: Pewne uogólnienie logiki modalnej (Jerzy Słupecki)
JĘZ: pol
ISBN: 83-227-1605-2
Hasło przedm.: Logika modalna * zagadnienia. *
Hasło przedm.: Logika matematyczna * zagadnienia. *
Hasło przedm.: Semantyka logiczna * zagadnienia. *
SYGNATURA: 217172

16/48

AUT: Garbacz Paweł
TYT: Logika zdań, jedna czy wiele / Paweł Garbacz, Wydz. Filozofii KUL.
WYD: Lublin : Red. Wydaw. KUL, 2000
OBJ: 148 s., tab., 24 cm, err.
DOD: Bibliogr.
JĘZ: pol
ISBN: 83-228-0751-1
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 218803

17/48

AUT: Suszko Roman
TYT: Wybór pism / Roman Suszko, pod red. Mieczysława Omyły.
WYD: Warszawa : Znak - Język - Rzeczywistość, Pol. Tow. Semiotyczne, 1998
OBJ: 252 s., [1] k. portr., tab., 23 cm,
SERIA: (Biblioteka Myśli Semiotycznej / Pol. Tow. Semiotyczne, ISSN 0867-2261 ; 42)
DOD: Lit.
JĘZ: pol
ISBN: 83-85372-31-8
Hasło przedm.: Logika matematyczna * zagadnienia. *
Hasło przedm.: Teoria poznania * zagadnienia. *
Hasło przedm.: Semantyka logiczna * zagadnienia. *
Hasło przedm.: Ontologia * zagadnienia. *
Hasło przedm.: Logika modalna * zagadnienia. *
Hasło przedm.: Wittgenstein Ludwig. *
Hasło przedm.: Frege Gottlob. *
SYGNATURA: 219013

18/48

AUT: Marek Wiktor
TYT: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz.
NR WYD: [Wyd. 10].
WYD: Warszawa : Wydaw. Nauk. PWN, 2001
OBJ: [2],273,[1] s., 21 cm,
DOD: Lit., skor.
JĘZ: pol
ISBN: 83-01-10502-X
Hasło przedm.: Logika matematyczna * ćwiczenia i zadania dla szkół wyższych.
Hasło przedm.: Teoria mnogości * ćwiczenia i zadania dla szkół wyższych.
SYGNATURA: 202999

19/48

AUT: Rasiowa Helena
TYT: Wstęp do matematyki współczesnej / Helena Rasiowa.
NR WYD: Wyd. 12.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2001
OBJ: 302,[2] s., wykr., tab., 24 cm,
DOD: Skor.
JĘZ: pol
ISBN: 83-01-01373-7
Hasło przedm.: Algebra * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 203353

20/48

AUT: Kiczuk Stanisław
TYT: Przedmiot logiki formalnej oraz jej stosowalność / Stanisław Kiczuk, Wydz. Filozofii KUL.
WYD: Lublin : Red. Wydaw. KUL, 2001
OBJ: 205 s., 20 cm,
DOD: Sum., spis bibliogr., ind.
JĘZ: pol
ISBN: 83-228-0898-4
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 226333

21/48

AUT: Żabski Eugeniusz
TYT: Logiki nihilistyczne, czyli teorie prawd "powierzchownych" i "głębokich" / Eugeniusz Żabski.
WYD: Wrocław : Oficyna Wydaw. Politechniki Wrocławskiej, 2001
OBJ: 290 s., 24 cm,
DOD: Bibliogr., skor.
JĘZ: pol
ISBN: 83-7085-563-6
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 226502

22/48

AUT: Pogorzelski Witold
TYT: Notions and theorems of elementary formal logic / Witold A. Pogorzelski, [transl. by Aleksander W. Pogorzelski].
WYD: Białystok : [Uniw. Warszawski - Filia w Białymstoku], 1994
OBJ: 525 s., 23 cm,
DOD: Bibliogr., ind.
JĘZ: eng (oryg. pol)
ISBN: 83-86423-10-2
Hasło przedm.: Logika matematyczna * słowniki.
SYGNATURA: 227661

23/48

AUT: Stępień Antoni B.
TYT: Wstęp do filozofii / Antoni B. Stępień.
NR WYD: Wyd. 4 rozsz.
WYD: Lublin : Tow. Nauk. KUL, 2001
OBJ: 501,[6] s., 24 cm,
SERIA: (Prace Wydziału Filozoficznego / Tow. Nauk. KUL ; 88)
DOD: Bibliogr., ind.
JĘZ: pol
ISBN: 83-7306-039-1
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 227677

24/48

AUT: Stępień Antoni B.
TYT: Wstęp do filozofii / Antoni B. Stępień
WYD: Lublin : Tow. Nauk. KUL, 1976
OBJ: 301,[1] s., 24 cm, err.
SERIA: (Prace Wydziału Filozoficznego) / Tow. Nauk. KUL
DOD: Poradnik dla samouków i kandydatów na studia filozoficzne, bibliogr., ind.
JĘZ: pol
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: Archiwalny: 223834

25/48

AUT: Rasiowa Helena
TYT: Wstęp do matematyki współczesnej / Helena Rasiowa.
NR WYD: [Wyd. 12
WYD: Warszawa : Wydaw. Nauk. |PWN, 2002
OBJ: 302,[2] s., wykr., tab., 24 cm,
DOD: Skor.
JĘZ: pol
ISBN: 83-01-1373-7
Hasło przedm.: Algebra * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 232119

26/48

AUT: Siegfried Hans Joachim
TYT: Od teorii mnogości do algebry logiki: zastosowanie algebry logiki w technice cyfrowej / H. J. Siegfried, z jęz niem. przeł.: M. P. Kaźmierkowski i A. Wójciak.
WYD: Warszawa : Wydaw. Komunikacji i Łączności, 1977
OBJ: 131,[1] s., tab., rys., 21 cm,
UW: Tyt. oryg.: Von der Mengenlehre zur Schaltalgebra. Die praktische Anwendung der Schaltalgebra in der Digitaltechnik.
DOD: Wykaz lit., lit. uzup. w jęz. pol., skor.
JĘZ: pol (oryg. ger)
Hasło przedm.: Teoria mnogości. *
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 233994

27/48

AUT: Pietruszczak Andrzej
TYT: Metamereologia / Andrzej Pietruszczak.
WYD: Toruń : Wydaw. Uniw. Mikołaja Kopernika, 2000
OBJ: 235 s., wzory, 24 cm,
DOD: Bibliogr., skor.
JĘZ: pol
ISBN: 83-231-1202-9
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 234381

28/48

AUT: Borger Egon
TYT: The ||classical decision problem / Egon Borger, Erich Gradel, Yuri Gurevich.
NR WYD: [2. printing of the 1. ed.]
WYD: Berlin [et al.] : Springer, 1997
OBJ: X,482 s., ryc., 24 cm,
SERIA: (Universitext)
DOD: Bibliogr., ind.
JĘZ: eng
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 235112

29/48

AUT: Zino'vev Aleksandr Aleksandrovic
TYT: Filozoficzne problemy logiki wielowartościowej / Aleksander Zinowiew, [tłum. Jerzy Jaroń].
WYD: Warszawa : Państ. Wydaw. Nauk., 1965
OBJ: 193,[2] s., 19 cm, err.
UW: Tyt. oryg.: Filosofskie problemy mnogoznacnoj logiki.
DOD: Bibliogr.
JĘZ: pol (oryg. rus)
Hasło przedm.: Logika matematyczna * zagadnienia. *
SYGNATURA: 195056

30/48

AUT: Stępień Antoni B.
TYT: Wstęp do filozofii / Antoni B. Stępień, Wydz. Filozofii Chrześcijańskiej KUL.
NR WYD: [Wyd. 2.]
WYD: Lublin : Katolicki Uniw. Lubelski, 1978
OBJ: 301,[3] s., 24 cm, err.
DOD: Dod., ind., bibliogr.
JĘZ: pol
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 71962

31/48

AUT: Rasiowa Helena
TYT: Wstęp do matematyki współczesnej / Helena Rasiowa.
NR WYD: Wyd. 13.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2003
OBJ: 302,[2] s., wykr., tab., 24 cm,
DOD: Skor.
JĘZ: pol
Hasło przedm.: Algebra * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 239663

32/48

AUT: Rasiowa Helena
TYT: Wstęp do matematyki współczesnej / Helena Rasiowa.
NR WYD: Wyd. 13.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2003
OBJ: 302,[2] s., wykr., tab., 24 cm,
DOD: Skor.
JĘZ: pol
Hasło przedm.: Algebra * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 239664

33/48

AUT: Rasiowa Helena
TYT: Wstęp do matematyki współczesnej / Helena Rasiowa.
NR WYD: Wyd. 13.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2003
OBJ: 302,[2] s., wykr., tab., 24 cm,
DOD: Skor.
JĘZ: pol
Hasło przedm.: Algebra * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 239665

34/48

AUT: Rasiowa Helena
TYT: Wstęp do matematyki współczesnej / Helena Rasiowa.
NR WYD: Wyd. 13.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2003
OBJ: 302,[2] s., wykr., tab., 24 cm,
DOD: Skor.
JĘZ: pol
Hasło przedm.: Algebra * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 239666

35/48

AUT: Rasiowa Helena
TYT: Wstęp do matematyki współczesnej / Helena Rasiowa.
NR WYD: Wyd. 13.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2003
OBJ: 302,[2] s., wykr., tab., 24 cm,
DOD: Skor.
JĘZ: pol
Hasło przedm.: Algebra * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: Czytelnia: XXVII.Mat.13.: 239667

36/48

AUT: Marek Wiktor
TYT: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz.
NR WYD: Wyd. 12.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2004
OBJ: 271,[5] s., 20 cm,
DOD: Lit. uzup., skor.
JĘZ: pol
ISBN: 83-01-13950-1
Hasło przedm.: Logika matematyczna * ćwiczenia i zadania dla szkół wyższych.
Hasło przedm.: Teoria mnogości * ćwiczenia i zadania dla szkół wyższych.
SYGNATURA: 239685

37/48

AUT: Marek Wiktor
TYT: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz.
NR WYD: Wyd. 12.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2004
OBJ: 271,[5] s., 20 cm,
DOD: Lit. uzup., skor.
JĘZ: pol
ISBN: 83-01-13950-1
Hasło przedm.: Logika matematyczna * ćwiczenia i zadania dla szkół wyższych.
Hasło przedm.: Teoria mnogości * ćwiczenia i zadania dla szkół wyższych.
SYGNATURA: 239686

38/48

AUT: Marek Wiktor
TYT: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz.
NR WYD: Wyd. 12.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2004
OBJ: 271,[5] s., 20 cm,
DOD: Lit. uzup., skor.
JĘZ: pol
ISBN: 83-01-13950-1
Hasło przedm.: Logika matematyczna * ćwiczenia i zadania dla szkół wyższych.
Hasło przedm.: Teoria mnogości * ćwiczenia i zadania dla szkół wyższych.
SYGNATURA: 239687

39/48

AUT: Marek Wiktor
TYT: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz.
NR WYD: Wyd. 12.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2004
OBJ: 271,[5] s., 20 cm,
DOD: Lit. uzup., skor.
JĘZ: pol
ISBN: 83-01-13950-1
Hasło przedm.: Logika matematyczna * ćwiczenia i zadania dla szkół wyższych.
Hasło przedm.: Teoria mnogości * ćwiczenia i zadania dla szkół wyższych.
SYGNATURA: 239688

40/48

AUT: Marek Wiktor
TYT: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz.
NR WYD: Wyd. 12.
WYD: Warszawa : Wydaw. Nauk. |PWN, 2004
OBJ: 271,[5] s., 20 cm,
DOD: Lit. uzup., skor.
JĘZ: pol
ISBN: 83-01-13950-1
Hasło przedm.: Logika matematyczna * ćwiczenia i zadania dla szkół wyższych.
Hasło przedm.: Teoria mnogości * ćwiczenia i zadania dla szkół wyższych.
SYGNATURA: 239689

41/48

AUT: Trzęsicki Kazimierz
TYT: Elementy logiki i teorii mnogości / Kazimierz Trzęsicki, Wyższa Szkoła Finansów i Zarządzania w Białymstoku.
WYD: Białystok : Wydaw. Wyższej Szkoły Finansów i Zarządzania, 2004
OBJ: 249 s., rys., tab., 24 cm,
DOD: Bibliogr., ind.
JĘZ: pol
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Teoria mnogości * podręczniki akademickie.
SYGNATURA: 240679

42/48

AUT: Kotarbiński Tadeusz
TYT: Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński.
WYD: Lwów : Wydaw. Zakł. Narodowego im. Ossolińskich, 1929
OBJ: VIII,483,[3] s., 23 cm,
DOD: Lit., ind.
JĘZ: pol
Hasło przedm.: Teoria poznania * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
Hasło przedm.: Metodologia * podręczniki akademickie.
SYGNATURA: TYLKO NA MIEJSCU: 240794

43/48

AUT: Ben- Ari Mordechai
TYT: Logika matematyczna w informatyce / Mordechai Ben-Ari, z ang. przeł. Mirosława Miłkowska.
WYD: Warszawa : Wydaw. Nauk.-Techniczne, [2005]
OBJ: XIII,343,[1] s., 24 cm,
SERIA: (Klasyka Informatyki)
UW: Tyt. oryg.: Mathematical logic for computer science.
DOD: Bibliogr., wykaz symboli, skor.
JĘZ: pol (oryg. eng)
ISBN: 83-204-2972-2
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 244414

44/48

AUT: Stępień Antoni B.
TYT: Wstęp do filozofii / Antoni B. Stępień.
NR WYD: Wyd. 4 rozsz.
WYD: Lublin : Tow. Nauk. KUL, 2001
OBJ: 501,[6] s., 24 cm,
SERIA: (Prace Wydziału Filozoficznego / Tow. Nauk. KUL ; 88)
DOD: Bibliogr., ind.
JĘZ: pol
ISBN: 83-7306-039-1
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 247944

45/48

AUT: Stępień Antoni B.
TYT: Wstęp do filozofii / Antoni B. Stępień.
NR WYD: Wyd. 4 rozsz.
WYD: Lublin : Tow. Nauk. KUL, 2001
OBJ: 501,[6] s., 24 cm,
SERIA: (Prace Wydziału Filozoficznego / Tow. Nauk. KUL ; 88)
DOD: Bibliogr., ind.
JĘZ: pol
ISBN: 83-7306-039-1
Hasło przedm.: Filozofia * podręczniki akademickie.
Hasło przedm.: Logika matematyczna * podręczniki akademickie.
SYGNATURA: 247945

46/48

AUT: Lakatos Imre
TYT: Dowody i refutacje: logika odkrycia matematycznego / Imre Lakatos, tł.: Michał Kozłowski i Katarzyna Lipszyc ; wst. do wyd. pol.: Wacław Zawadowski ; dod. do wyd. pol.: Jan Baranowski.
WYD: Warszawa : Fund. Literacka TIKKUN im. Małgosi Arkuszewskiej, 2005
OBJ: 268 s., rys., 20 cm,
UW: Tyt. oryg.: Proofs and refutations. The logic of Mathematical Discovery.
DOD: Bibliogr., ind.
JĘZ: pol (oryg. eng)
ISBN: 83-85683-37-2
Hasło przedm.: Logika matematyczna. *
SYGNATURA: 196937

47/48

TYT: Krakowska filozofia przyrody w okresie międzywojennym. T. 1, Początki / red. Michał Heller [et al.], wstęp i zakończenie Michał Heller, Janusz Mączka.
WYD: Tarnów : Kraków : Wydawnictwo Diecezji Tarnowskiej Biblos, Ośrodek Badań Interdyscyplinarnych przy Wydziale Filozoficznym Papieskiej Akademii Teologicznej, 2007
OBJ: 182 s., 24 cm,
SERIA: (Filozofia Przyrody, Filozofia Nauki)
UW: Na okł. odmienna nazwa serii: Filozofia Nauki, Filozofia Przyrody.
DOD: Bibliogr. przy niektórych rozdz.
JĘZ: pol
Hasło przedm.: Filozofia chrześcijańska * historia * Polska * 1918-1939 r. *
Hasło przedm.: Filozofia przyrody * Polska * 1918-1939 r. *
Hasło przedm.: Logika matematyczna * Polska * 1918-1939 r. *
Hasło przedm.: Kraków * nauka * 1918-1939 r. *
SYGNATURA: 262535

48/48

TYT: From insight to proof: festschrift in honour of Andrzej Trybulec / guest ed. Roman Matuszewski, Anna Zalewska.
WYD: Białystok : Wydawnictwo Uniwersytetu w Białymstoku, 2007
OBJ: X, 399, [1] s., il., 25 cm,
SERIA: (Studies in Logic, Grammar and Rhetoric, 0860-150X ; 10(23))
UW: Na grzb. wyłącznie nazwa serii.
DOD: Bibliogr. przy rozdz.
JĘZ: eng
Hasło przedm.: Logika matematyczna * zagadnienia. *
Hasło przedm.: Matematyka * język. *
Hasło przedm.: Trybulec Andrzej. *
SYGNATURA: 262297

stosując format:



Nowe wyszukiwanie

Strona Główna Biblioteki