A matematikai logika és alkalmazásai : kézirat

Szerző: Pásztorné Varga Katalin
Megjelenés: 1989

Fuzzy irányítástechnika és identifikáció : Operációkutatás, alkalmazott matematika, statisztika

Szerző: Schuszter György
Megjelenés: 2001

A matematikai logikáról

Szerző: Kalmár László (1905-1976)
Megjelenés: 1957

A létezési kijelentések, mint önazonossági kijelentések : Frege párbeszéde Pünjerrel a létezési kijelentések tartalmáról

Szerző: Fazekas András István
Megjelenés: 2002

A modern létezésfogalom kialakulása : Frege nézetei a 'van' kifejezés különböző értelmű használatáról

Szerző: Fazekas András István
Megjelenés: 2000

A primitív rekurzív függvények Meyer - Ritchie-féle hierarchiájának egy módosítása és induktív következtetés

Szerző: Szabó Zsolt
Megjelenés: 1987

Vizsgálatok logikai műveletek szuperpozícióiról és kétpólusú gráfok általi ismétlésnélküli realizálhatóságáról

Szerző: Ádám András (fizikus))
Megjelenés: 1966

A számológép és az agy

Szerző: Neumann, John von (1903-1957)
Megjelenés: 1972

4., A matematika néhány filozófiai problémájáról

Szerző: Ruzsa Imre (1921-2008)
Megjelenés: 1966
Kapcsolódó cím: Világnézeti nevelésünk természettudományos alapjai :

Emlékek, történetek, paradoxonok

Szerző: Smullyan, Raymond M. (1919-)
Megjelenés: 2004

A rezolució elven alapuló gépi tételbizonyítás és alkalmazásai

Szerző: Major Péter (1947-)
Megjelenés: 1974

Logikai vizsgálódások : Válogatott tanulmányok

Szerző: Frege, Friedrich Ludwig Gottlob (1848-1925)
Megjelenés: 2000

Fuzzy rendszerek : [Egyetemi tankönyv]

Szerző: Kóczy T. László (1952-)
Megjelenés: 2000

Formális logika és matematikai logika

Szerző: Szalai Sándor (1912-1983)
Megjelenés: 1957

A matematikai logika eldöntésproblémájának redukciójáról

Szerző: Surányi János (1918-2006)
Megjelenés: 1956

Matematikai logika: : <Példatár>

Szerző: Urbán János (1939-)
Megjelenés: 1983

Matematikai logika : <Példatár>

Szerző: Urbán János (1939-)
Megjelenés: 1999

Logikai alapozás alkalmazásokhoz : <Matematikai logika - számítástudomány> : Egyetemi jegyzet

Szerző: Pásztorné Varga Katalin
Megjelenés: 1992

Logikai alapok

Szerző: Destek Miklós
Megjelenés: 1993

Bizonyítások és cáfolatok : A matematikai felfedezés logikája

Szerző: Lakatos Imre (1922-1974)
Megjelenés: 1981