Основи математики та математична логіка
Підтеми:
Документи:
- Logique automatique informatique [Текст] / Перед загл. авт. : Bisca O., Boicescu V., Cazanescu V. si a. — Bucarest : Edit. de l'Acad. de la Repub. Soc. de Roumanie, 1971. — 456 p.
- Matematical logic [Текст] / Transl. from the Russ. by V. Shokurov. — Moscow : Mir, 1984. — 304 p.
- Merrill advanced mathematical Concepts [Текст]. — Columbus : Merrill Publishing Co A Bell & Howell Company, 1986. — 598p.
- Metamathematics, machines, and Godel's proof [Текст] / N. Shankar. — Cambridge : Cambridge Univ. Press, 1994. — 202 p.
- Principes de logique et de philosophie mathematique [Текст] / Octav Onicescu. — Bucuresti : Ed. Acad. RSR, 1971. — 229p.
- Simulationsmethoden [Текст] / I. Piehler, H. Zschiesche. — Leipzig : Teubner, 1976. — 59S.
- Some combinatorial and algorithmic problems in many-valued logics [Текст] / I. Stojmenovic; Univ. of Novi Sad., Inst. of mathematics. — Novi Sad : [s. n.], 1987. — 150 p.
- The bulletin of symbolic logic [Текст]. — Champaign, 1999. — Vol 5, N 1.
- The cosmical knowledge and the human computer [Текст] : Excerpts and supplements / Ion Costescu. — Timisoara : Univ. of Timisoara, 1996. — 115s.
- The formal languages and transducers [Текст] = Формальні мови та трансдьюсери / Leonid P. Lisovik. — Kiev : Phoenix, 2009. — 464 p.
- The foundation of mathematics. [Текст] / Pieter Heerden. — Wassenaar : N.V.Uitgeverij Wistik, 1968. — 10, 50, 4 p.
- The journal of symbolic logic [Текст]. — Champaign, 1998. — 1998.
- The review of symbolic logic [Текст]. — Cambridge : Cambridge univ. press ; Assoc. for symbolic logic, 2013. — Vol. 6, nr 2.
- Two axioms of set theory with applications to logic [Текст] / J. Vaananen. — Helsinki : Suomalainen Tiedeakatemia, 1978. — 19 p.
- W1 - категоричные непрерывниые теории [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Мурзин Федор Александрович; Новосиб. гос. ун-т. — Новосибирск, 1979. — 12л.
- Wissenschaftstheoretische Untersuchungen in algorithmischen Sprachen [Текст] / Thiele. — Berlin : Wissenschaften, 1966. — 219 S.
- W poszukiwaniu modelu matematycznego Matematyka [Текст] / W.W. Sawyer. — Warszawa : Wiedza powszechna, 1975. — 438p.
- Wstep do logici matematycznej i teorii mnogosci [Текст] / H. Rasiowa. — Wroclaw ; Warszawa ; Krakow : PAN, 1966. — 168 s.
- Wstep do logiki matematyczne [Текст] / Wyzsza szkola ekonomiczna we Wroclaviu. — Wroclaw. — 107s.
- Zarys logiki matematycznej [Текст] / A. Grzegorczye. — Wyd.2 zmien. i naukowe. — Warszawa : Panstwowe wyd-wo naukowe, 1969. — 508 s. : s. 493-496.
- Zarys logiki matematycznej [Текст] / A. Grzegorczyk. — W. 2. — Warszawa : Pastwowe wyd-wo naukowe, 1969. — 508 s.
- Zarys logiki matematycznej [Текст] / A. Grzegorczyk. — W. 4e. — Warszawa : Pastwowe wyd-wo naukowe, 1975. — 510 s.
- Zarys logiki matematycznej [Текст] / A. Grzegorczyk. — Warszawa : Pastwowe wyd-wo naukowe, 1961. — 480 s.
1
2
3
4
5
6
7
8
|
