Go to main menu Go to search engine Skip to content

English
polski

Homepage
Jagiellonian Digital Library
SYLABUSY
Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi

Object's details: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi

Go to the whole object's collection

Description

Title:
Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi
Creator:
Porębska, Małgorzata
;
Suchoń, Wojciech
Publisher:
Universitas
Place of publication/creation:
Kraków
Date:
1996
www comment:
Ta publikacja jest chroniona prawem autorskim. Dostęp do jej cyfrowej wersji jest możliwy z komputerów znajdujących się na terenie Biblioteki Jagiellońskiej oraz z dedykowanych komputerów znajdujących się na terenie Instytutu Filozofii Uniwersytetu Jagiellońskiego— na podstawie art. 28 pktu 3 ustawy z dnia 4 lutego 1994 r. o prawie autorskim i prawach pokrewnych (tekst jednolity: Dz.U. 2006 nr 90 poz. 631).
Source:
Biblioteka Jagiellońska, A 266802 II
Digital copy identifier:
NDIGDRUK038172
Subject and Keywords:
logika
;
informatyka
;
logika symboliczna i matematyczna
;
logika formalna
Coverage:
20 w.
Language:
pol
Rights:
Copyright
Rights holder:
Towarzystwo Autorów i Wydawców Prac Naukowych UNIVERSITAS
;
Małgorzata T. Porębska
;
Wojciech Suchoń
Download:
Zablokowane
Location of original document:
Biblioteka Jagiellońska
Resource Type:
książka
Computer Catalogue: https://katalogi.uj.edu.pl/permalink/48OMNIS_UJA/19e8e2s/alma991013157459705067
Resource Identifier: oai:jbc-test.dlibra.psnc.pl:570597
ISBN:
83-7052-994-1
Sponsorship:
Biblioteka Jagiellońska

Object is located in the collections:

Additional information

Creation date: 2018-10-05
Last modification date: 2024-03-21
Content object's number of views: 4
You could also download the object's description in these formats:
RDF
;
OAI-PMH

See also

Elementarne wprowadzenie w logikę formalną

Creator:Porębska, Małgorzata; Suchoń, Wojciech

Date:1991

Type:książka

Elementy logiki i teorii mnogości w zadaniach

Creator:Marek, Wiktor; Onyszkiewicz, Janus (1937- )

Date:2004

Type:książka

Pisma semantyczne

Creator:Frege, Gottlob (1848-1925)

Date:1977

Type:książka

Contributor:Wolniewicz, Bogusław (1927-2017). Oprac.

Pisma semantyczne

Creator:Carnap, Rudolf (1891-1970)

Date:2007

Type:książka

Contributor:Ciecierski, Tadeusz. Tł.; Stanosz, Barbara (1935-2014). Posł.

Filozofia jako analiza języka nauki

Creator:Carnap, Rudolf (1891-1970)

Date:1969

Type:książka

Contributor:Zabłudowski, Andrzej (1938-2008). Tł.

Elementy logiki formalnej dla studentów kierunków humanistycznych

Creator:Porębska, Małgorzata

Date:1990

Type:książka

Contributor:Suchoń, Wojciech

Tractatus logico-philosophicus

Creator:Wittgenstein, Ludwig (1889-1951)

Date:2004

Type:książka

Contributor:Wolniewicz, Bogusław (1927-2017). Tł.

Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej

Creator:Łukasiewicz, Jan (1878-1956)

Date:1988

Type:książka

Contributor:Chmielewski, Adam (1959- ). Przedm.; Krajczyk, Aleksandra. Tł.; Woleński, Jan (1940- ). Przedm.

The construction of the Jagiellonian Digital Library has been funded by the European Union from the European Regional Development Fund within Operational Program Infrastructure and Environment for 2007-2013, Priority XI. "Culture and Cultural Heritage" Action 11.1. "Preservation and preservation of cultural heritage of supra-regional significance".

Program Operacyjny Infrastruktura i Środowisko

Uniwersytet Jagielloński

Europejski Fundusz Rozwoju Regionalnego

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy