Mathematical logic /
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | Kniha |
| Jazyk: | čeština |
| Vydáno: |
New York :
Springer,
1984
|
| Edice: | rz1
|
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Mathematical logic /
Autor: Demlová, Marie
Vydáno: (1999)
Autor: Demlová, Marie
Vydáno: (1999)
Handbook of mathematical logic /
Autor: Aczel, Peter
Vydáno: (1977)
Autor: Aczel, Peter
Vydáno: (1977)
The elements of mathematical logic /
Autor: Rosenbloom, Paul C.
Vydáno: (1950)
Autor: Rosenbloom, Paul C.
Vydáno: (1950)
Philosophical and Mathematical Logic
Autor: de Swart, Harrie
Vydáno: (2018)
Autor: de Swart, Harrie
Vydáno: (2018)
Mathematical Logic On Numbers, Sets, Structures, and Symmetry /
Autor: Kossak, Roman
Vydáno: (2018)
Autor: Kossak, Roman
Vydáno: (2018)
A course in mathematical logic /
Autor: Bell, John Lane, a další
Vydáno: (1977)
Autor: Bell, John Lane, a další
Vydáno: (1977)
Mathematical logic and programming languages /
Autor: Kowalski, R.
Vydáno: (1985)
Autor: Kowalski, R.
Vydáno: (1985)
A mathematical introduction to logic /
Autor: Enderton, Herbert B., 1936-2010
Vydáno: (2001)
Autor: Enderton, Herbert B., 1936-2010
Vydáno: (2001)
Hilary Putnam on Logic and Mathematics
Vydáno: (2018)
Vydáno: (2018)
Introduction to mathematical logic : set theory. Computable functions. Model theory /
Autor: Malitz, Jerome
Vydáno: (1979)
Autor: Malitz, Jerome
Vydáno: (1979)
The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)
Mathematical logic in the 20th century /
Autor: Sacks, Gerald E.
Vydáno: (2003)
Autor: Sacks, Gerald E.
Vydáno: (2003)
Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
Autor: Park, Woosuk
Vydáno: (2018)
Autor: Park, Woosuk
Vydáno: (2018)
Mathematical logic and formalized theories : a survey of basic concepts and results /
Autor: Rogers, Robert
Vydáno: (1974)
Autor: Rogers, Robert
Vydáno: (1974)
Logic and discrete mathematics. A computer science perspective /
Autor: Grassmann, Winfried Karl
Vydáno: (1996)
Autor: Grassmann, Winfried Karl
Vydáno: (1996)
Zahlen /
Autor: Ebbinghaus, Heinz-Dieter
Vydáno: (1983)
Autor: Ebbinghaus, Heinz-Dieter
Vydáno: (1983)
Kinetic logic : a Boolean approach to the analysis of complex regulatory systems /
Autor: Thomas, René
Vydáno: (1979)
Autor: Thomas, René
Vydáno: (1979)
FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydáno: (1987)
Autor: Snyers, Dominique
Vydáno: (1987)
Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydáno: (2018)
Autor: Iacona, Andrea
Vydáno: (2018)
THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydáno: (1984)
Autor: Hehner, Eric C. R.
Vydáno: (1984)
THE LOGIC OF INDUCTION /
Autor: Mortimer, Halina
Vydáno: (1988)
Autor: Mortimer, Halina
Vydáno: (1988)
MATRIX LOGIC /
Autor: Stern, August
Vydáno: (1988)
Autor: Stern, August
Vydáno: (1988)
Absolute logics /
Autor: Akkanen, Jyrki
Vydáno: (1995)
Autor: Akkanen, Jyrki
Vydáno: (1995)
Logic and structure /
Autor: Dalen, Dirk van
Vydáno: (1983)
Autor: Dalen, Dirk van
Vydáno: (1983)
Digital logic : basic theory and practice /
Autor: Smith, J. H.
Vydáno: (1971)
Autor: Smith, J. H.
Vydáno: (1971)
Digital logic gates /
Autor: Korn, Granino A.
Vydáno: (1978)
Autor: Korn, Granino A.
Vydáno: (1978)
Microprocessors and logic design /
Autor: Krutz, Ronald L.
Vydáno: (1980)
Autor: Krutz, Ronald L.
Vydáno: (1980)
Pulse and logic circuits /
Autor: Castellucis, Richard L.
Vydáno: (1976)
Autor: Castellucis, Richard L.
Vydáno: (1976)
Logic analyzers for microprocessors /
Autor: Kneen, John
Vydáno: (1980)
Autor: Kneen, John
Vydáno: (1980)
Fundamentals of computer logic /
Autor: Hutchison, David
Vydáno: (1981)
Autor: Hutchison, David
Vydáno: (1981)
Precision, language and logic /
Autor: George, Frank Honywill
Vydáno: (1977)
Autor: George, Frank Honywill
Vydáno: (1977)
Logic und structure /
Autor: Dalen, Dirk van
Vydáno: (1980)
Autor: Dalen, Dirk van
Vydáno: (1980)