Logic as language
Hintikka
Dordrecht . Kluwer. c1988. 127 s..

Logic as machine: complexity relations between programs and formulae
Börger, Egon
Dortmund. 1985. 44 S.. Universität <Dortmund> / Abteilung Informatik: Forschungsbericht ; 213.

Logic aspect of programs: proceedings of the sixth IBM symposium on mathematical foundations of computer science, May 25-27, 1981 at Hakone Yama no Hotel
Tokyo. IBM. Corporate & scientific programs,. 1982?. 431 s..

Logic Aspects of programs
Tokyo. 1981. X, 431 S.. Proceedings of the IBM Symposium on Mathematical Foundations of Computer Science ; 6.

Logica, s. philosophia rationalis
Heinlein, Heinrich ; Buckolz, J. R.
Salisburgum. 1674.

Logica, taal en betekenis
Gamut, L. T.
Utrecht u.a.. Spectrum. Aula-paperback ; ....
ISBN 90-274-6229-1

Logic at botic 89: symposium on logical Foundations of Computer Science, Pereslavl-Zalessky , USSR, July 3-8, 1989
Meyer, A. R. < >Hrsg.]>>
Berlin [u.a.]. Springer. 1989. X, 289 S.. Lecture notes in computer science ; 363.

Logic at Botik
Berlin [u.a.]. 1989.

Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 ; Proceedings
Meyer, Albert R. ¬[Hrsg.]¬
Berlin [u.a.]. Springer. 1989. X, 289 S.. Lecture notes in computer science ; 363.
ISBN 3-540-51237-3

Logic at botik '89. Symposium in logical foundations on computer science : Pereslav-Zalessky, USSR, 03.-08.07.1989 / Albert R. Meyer ; Michael A. Taitslin
Meyer, Albert R.
Berlin, u.a.: Springer, 1989. X, 289 S..

Logica theologica: ostendens modum argumentandi in ss. theologia, tum in genere, tum in specie per singulos locos communes
Alsted, Johann Heinrich
Francofurti. Eifried. 1625. 142 S..

Logica trascendentale
Fichte, Johann Gottlieb ; Bertinetto, Alessandro
Milano. Guerini. Fichtiana ; ....

Logic at work: essays dedicated to the memory of Helena Rasiowa ; with 3 tables
Orlowska, Ewa ¬[Hrsg.]¬ ; Rasiowa, Helena
Heidelberg [u.a.]. Physica-Verl.. 1999. XVI, 694 S.. Studies in fuzziness and soft computing ; 24.
ISBN 3-7908-1164-5 Pp. : DM 228.00

Logic Audio: Praxisguide zur Software ; das Skript zum Workshop
Gypser, Florian
Waldorf. audio-workshop. [2006?]. 71 S. : Ill., graph. Darst.. audio-workshop.

Logic Audio Fx Collection: [500 professionelle Presets für die internen Plug-Ins]
Kleinermanns, Ralf
Bremen. Wizoo. 2000. 194 S.. Wizoo ware.
ISBN 3-934903-29-0

Logic Audio in der Praxis
Ziebarth, Mark
1. Aufl.. Bergkirchen, Kr Dachau. PPV Presse Project Verlags GmbH. 2004. 200 S..
ISBN 3-932275-30-6 Pb. : EUR 25.00

Logic Audio Macintosh 4: [schneller, effektiver und kreativer produzieren]
Bellingham, Dave
Köln. Wizoo midi, music & audio technology. 1999. 204 S.. Wizoo guide : Audio logic 4.
ISBN 3-927954-44-6

Logic Audio Windows 4: [schneller, effektiver und kreativer produzieren] ; [Medienkombination]
Bellingham, Dave ¬[Sonst.]¬
Köln. Wizoo midi, music & audio technology. 1999. 196 S.. Wizoo guide.
ISBN 3-927954-46-2

Logica universalis: towards a general theory of logic
Béziau, Jean-Yves ¬[Hrsg.]¬
1 Aufl.. Basel [u.a.]. Birkhäuser. 2005. X, 228 S..
ISBN 3-7643-7259-1

Logica universalis: towards a general theory of logic
Beziau, Jean-Yves ¬[Hrsg.]¬
2. ed.. Basel [u.a.]. Birkhäuser. 2007. X, 246 S..
ISBN 978-3-7643-8353-4

Logica universalis et analytica facultatis cognoscendi purae
Reuss, Maternus
Wirceburgi. Rienner. 1789. 191 S..

Logica universalis et Analytica facultatis cognoscendi purae
Reuß, Maternus
Wirceburgi. Franc. ^Xaver. Rienner. 1789. (XIV), 191 S..

Logica utens: sive disputationes scholasticae, super universam materiam dialecticam clara brevitate & magna claritate concinnatae ...
Schopen, Wolter
Nissae. Krembsl. 1697. [7] Bl., 218 S., [3] Bl..

Logic, automata, and algorithms
Ajzerman, Mark A.
New York. Acad.Pr.. 1971. XII, 433 S. : graph. Darst.. Mathemathics in science and engineering ; 79..
ISBN 0-12-046350-4

Logica viva
Vaz Ferreira, Carlos
Caracas. Biblioteca Ayacucho. 1979. XLVIII, 529 S.. Biblioteca Ayacucho ; 61.
ISBN 84-660-0034-8

Logica voor beginners: extra opgaven voor de cursus
Mostert, Pieter
Limburg. Basisvoorziening Wijsbegeerte, Rijksuniv.. 1986. 28 Bl. : Ill., graph. Darst..

Logica voor idioten
Brusselmans, Herman
2. dr. Amsterdam. Prometheus. 1997. 266 S..
ISBN 90-5333-573-0

Logica Wolffiana enucleata et ero[te]matice composita illis, qvibus veritas maxime placet
Lundhoff
Havn. . [s.a.]. 32 s..

Logica y lingüistica
Garrido Medina, Joaquín
Madrid. Ed. Sintesis. 1988. 240 S.. LingÈuistica ; 2.
ISBN 84-7738-049-X

Logica y lingÈuistica
Garrido Medina, Joaquín
1. reimpr. Madrid. Ed. Sintesis. 1994. 240 S.. LingÈuistica ; 2.
ISBN 84-7738-049-X

Logic based 0-1 constraint programming: Textausgabe
Barth, Peter
Sonderausg., 9., überarb. Aufl., Stand: 5. März 2007. München. Dt. Taschenbuch-Verl. [u.a.]. 2007. XX, 741 S.. dtv ; 5585 : Beck-Texte im dtv.
ISBN 978-3-423-05585-7

Logic-based 0-1 constraint programming
Barth, Peter
Boston, Mass. [u.a.]. Kluwer. 1996. XIV, 253 S. : graph. Darst.. Operations research/computer science interfaces series ; 5.
ISBN 0-7923-9663-4

Logic-based 0-1 constraint solving in constraint logic programming
Barth, Peter
1995. 187, 17 S. Anh..

Logic-based artificial intelligence
Minker, Jack
2nd printing. Boston [u.a.]. Kluwer, Acad. Publ.. 2002. XXIII, 606 S.. The Kluwer international series in engineering and computer science ; SECS 597.
ISBN 0-7923-7224-7

Logic-based decision support: mixed integer model formulation
Jeroslow, Robert G.
Amsterdam [u.a.]. North-Holland [u.a.]. 1989. XV, 222 S.. Annals of discrete mathematics ; 40.
ISBN 0-444-87119-5

Logic-based knowledge representation
Jackson, Peter ; Reichgelt, Han ; VanHarmelen, Frank
Cambridge, MA. MIT-Pr.. 1989. IX, 255 S..
ISBN 0-262-10038-X

Logic based methods for optimization: combining optimization and constraint satisfaction
Hooker, John
1 Aufl.. New York [u.a.]. Wiley. 2000. XVI, 495 S.. Wiley Interscience series in discrete mathematics and optimization.
ISBN 0-471-38521-2

Logic based modeling and optimization of discrete continuous dynamic systems.
Oldenburg, Jan.
Düsseldorf. VDI-Verl.,. 2005.. XVII, 230 S..

Logic-based nonlinear image processing
Marshall, Stephen
Bellingham, Wash.. SPIE Press. 2007. XIII, 147 S.. Tutorial texts in optical engineering ; 72.
ISBN 0-8194-6343-4

Logic-based program synthesis: state of the art and future trends: papers from the 2002 AAAI symposium ; March 25 - 27, Stanford, California
Fischer, Bernd
Menlo Park, Calif.. AAAI Press. 2002. 111 S.. Technical report : SS ; 2002,5.
ISBN 1-577-35150-9

Logic-based program synthesis and transformation: 9th intern. workshop ; selected papers
Bossi, Annalisa ¬[Hrsg.]¬
Berlin. Springer. 2000. VIII, 312 S. : Ill., graph. Darst.. Lecture notes in computer science ; vol. 1817.
ISBN 3-540-67628-7

Logic based program synthesis and transformation: 11th international workshop ; selected papers
Pettorossi, Alberto
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London. Springer. 2002. VIII, 265 S. : graph. Darst.. Lecture notes in computer science ; 2372.
ISBN 3-540-43915-3

Logic based program synthesis and transformation: 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; revised selected papers
Bruynooghe, Maurice _[Hrsg.]_
Berlin [u.a.]ZZZ. Springer. 2004. X, 232 S. : graph. Darst ; 235 mm x 155 mm. Lecture notes in computer science ; 3018.
ISBN 3-540-22174-3

Logic based program synthesis and transformation: 10th international workshop ; selected papers
Lau, Kung-Kiu
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London. Springer. 2001. VIII, 181 S. : graph. Darst.. Lecture notes in computer science ; 2042.
ISBN 3-540-42127-0

Logic based program synthesis and transformation: 16th international symposium ; revised selected papers
Puebla, Germán ¬[Hrsg.]¬
Berlin [u.a.]. Springer. 2007. VIII, 235 S. : Ill.. Lecture notes in computer science ; 4407.
ISBN 978-3-540-71409-5 : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.)

Logic based program synthesis and transformation: 14th international symposium, , Verona, Italy, August 26 - 28, 2004 ; revised selected papers
Etalle, Sandro ¬[Hrsg.]¬
1. ed.. Berlin [u.a.]. Springer. 2005. VIII, 277 S.. Lecture notes in computer science ; 3573.
ISBN 3-540-26655-0

Logic-based program synthesis and transformation: 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers
King, Andy
Berlin [u.a.]. Springer. 2008. X, 217 S.. Lecture notes in computer science ; 4915.
ISBN 3-540-78768-2 : ca. EUR 44.94 (freier Pr.), ca. sfr 73.50 (freier Pr.)

Logic-based program synthesis and transformation: 8th international workshop, LOPSTR '98, Manchester, UK, June 15 - 19, 1998 ; selected papers
Flener, Pierre
Berlin [u.a.]. Springer,. 1999. X, 330 S. : graph. Darst4170 Lecture notes in computer science ; 1559.

Logic based program synthesis and transformation: selected papers
Flener, Pierre
Berlin. Springer,. 1998. 330 s..

Logic based program synthesis and transformation: 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Hill, Patricia,
Berlin ; . Springer,. c2006. x, 178 p..

Logic based program synthesis and transformation: 12th international workshop ; revised selected papers
Leuschel, Michael
Berlin {[u.a.]. Springer,. 2003.. X, 279 S..

Logic based program synthesis and transformation: 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 ; revised selected papers
Etalle, Sandro
Berlin [u.a.]. Springer. 2005. Online-Ressource (VIII, 272 S.). Lecture notes in computer science ; 3573.
ISBN 3-540-26655-0

Logic based program synthesis and transformation: 9th international workshop, LOPSTR '99, Venice, Italy, September 22 - 24, 1999 ; selected papers
Bossi, Annalisa
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London. Springer. 2000. VIII, 312 S.. Lecture notes in computer science ; 1817.
ISBN 3-540-67628-7

Logic based program synthesis and transportation: 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17 - 20, 2002 ; proceedings
Leuschel, Michael
Berlin u.a.. Springer. 2003. X, 279 S.. Lecture notes in computer science ; 2664.
ISBN 3-540-40438-4

Logic-based querying of XML
Bharath, Shriram
2003. viii, 75 leaves.

Logic-Based representation and reasoning for user modeling shell systems
Pohl, Wolfgang
1 Aufl.. Sankt Augustin. Infix. 1998. XIV, 251 S. : graph. Darst.. Dissertationen zur Künstlichen Intelligenz ; 188.
ISBN 3-89601-188-X

The logic behind Putin's intervention in Ukraine
Sherr, James
Camberley, Surrey. Defence Academy of the United Kingdom. 2004. 3 S.. Conflict Studies Research Centre ; 04/35 : Central & Eastern Europe series.
ISBN 1-904423-96-5

Logic bivalence and denotation
Bencivenga, Ermanno ; Lambert, Karel ; VanFraassen, Bastiaan C.
2. print. Atascadero, Calif.. Ridgeview Publ. Co.. 1986. 336 S..
ISBN 0-917930-84-3

Logic, bivalence and denotation
Bencivenga, Ermanno ; Lambert, Karel ; Fraassen, Bas C. ¬van¬
2. ed. Atascadero, Calif.. Ridgeview Publ.. 1991. X, 203 S..
ISBN 0-924922-04-4

Logic bomb: transmissions from the edge of style culture
Beard, Steve
London. Serpent's Tail,. 1998. xv,218 s. ;.

The logic book
Bergmann, Merrie ; Moor, James ; Nelson, Jack
New York, NY [u.a.]. McGraw-Hill. 1980.
ISBN 0-07-913083-6 3. ed

LOGIC. BY WESLEY SALMON. 2. ED. ENGLEWOOD CLIFFS, N. J.: PRENTICE-HALL 1973. IX,150 S.
Salmon, Wesley C.
1973. FOUNDATIONS OF PHILOSOPHY SERIES..

Logic, cause & action: essays in honour of Elizabeth Anscombe
Teichmann, Roger ¬[Hrsg.]¬
Cambridge ; New York, NY ; Oakleigh, Melbourne. Cambridge Univ. Press. 2000. VI, 154 S.. Royal Institute of Philosophy supplement ; 46.
ISBN 0-521-78510-3

Logic, cause & action: essays in honour of Elisabeth Anscombe
Anscombe, Elisabeth ¬[gefeierte Pers.]¬ ; Teichmann, Roger ¬[Hrsg.]¬
1 Aufl.. Cambridge [u. a.]. Cambridge Univ. Press. 2000. Royal Institute of Philosophy supplement ; 46.
ISBN 0-521-78510-3

Logic circuit design
Shaw, Alan W.
Fort Worth [u.a.]. Saunders College Publ.. 1993. Getr. Zählung : graph. Darst.. Saunders College Publishing series in electrical engineering.
ISBN 0-03-050793-6

Logic circuits
Morris, Noel M.
London. McGraw-Hill. 1969. X, 189 S.. European electrical and electronic engineering series.

Logic circuits and microcomputer systems
Wiatrowski, Claude A. ; House, Charles H.
Auckland [u.a.]. MacGraw-Hill. 1985. XIV, 413 S.. International student edition.
ISBN 0-07-070090-7

Logic circuits and microcomputer systems
Wiatrowski, Claude A. ; House, Charles H.
1. printing. New York [u.a.]. McGraw-Hill. 1980. 412 S.. McGraw-Hill series in electrical engineering.
0-07-070090-7

LOGIC CIRCUITS / BY NOEL M. MORRIS. - 2ND ED. LONDON ETC.: MCGRAW-HILL, 1976. - XIII,221 S.
Morris, Noel M.
1976.
ISBN 0-07-084066-0

Logic circuit simulator
MariÅen, Johan F. H.
1987. II, 57 S. : graph. Darst..

Logic Colloqium '82: proceedings of the colloquium held in Florence, 23 - 28 august, 1982
Lolli, Gabriele ; Longo, Giuseppe ; Marcja, Annalisa
Amsterdam [u.a.]. North-Holland Publ.. 1984. VIII, 358 S.. Studies in logic and the foundations of mathematics ; 112.
ISBN 0-444-86876-3

Logic colloquium: Symposium on Logic held at Boston, 1972-73
Parikh, Rohit
Berlin [u.a.]. Springer. 1975. 251 S.. Lecture notes in mathematics ; 453.

Logic Colloquium ...
Gandy, Robin O. ; Rose, Harvey E. ; MacIntyre, Angus ; Boffa, Maurice ; Dalen, Dirk ¬van¬ ; Lolli, Gabriele ; Paris, Jeff B. ; Drake, Frank R. ; Ebbinghaus, Heinz-Dieter ; Ferro, Ruggero
Amsterdam u.a.. North-Holland. Studies in logic and the foundations of mathematics ; ....
ISBN 0-7204-2200-0

Materialien zur politischen Ökonomie des Ausbildungssektors: symposium on logic held at Boston 1972-73
Altvater, Elmar ; Huisken, Freerk
16. - 18. Tsd. Erlangen. Politladen. 1972. XXXII, 468 S.. Politladendruck ; 1.
ISBN 3-920531-08-6

Logic Colloquium '01: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
Baaz, Matthias ; Friedman, Sy D. ; KrajíÏcek, Jan
Wellesley, Mass. A.K. Peters. 2005. viii, 486 p.. Lecture notes in logic ; 20.
ISBN 1-568-81247-7 acid-free paper

Logic Colloquium '02: proceedings of the annual European summer meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
Chatzidakis, Zoe M. ¬[Hrsg.]¬
Wellesley, Mass.. Peters [u.a.]. 2006. VIII, 359 S. : Ill., graph. Darst.. Lecture notes in logic ; 27.
ISBN 978-1-56881-300-4

Logic Colloquium '03: proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Stoltenberg-Hansen, Viggo ¬[Hrsg.]¬
Wellesley, Mass.. Peters [u.a.]. 2006. X, 408 S.. Lecture notes in logic ; 24.
978-1-56881-293-9

Logic Colloquium 2000: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000
Cori, René
Wellesley, Mass. A.K. Peters. 2005. xi, 408 p.. Lecture notes in logic ; 19.
ISBN 1-568-81251-5 acid-free paper

Logic Colloquium 2002: ASL European summer meeting, August 3-9, 2002
Münster. Westf.-Wilhelms-Univ.. 2002. III, 91 S..

Logic Colloquium '69: Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969
Gandy, Robin O.
Amsterdam. North-Holland Publ.Comp.. 1971. XIV,451 S.. Studies in logic and the foundations of mathematics ; 61.

Gandy, Robin O. ; Yates, C. M. E.
Univ. of North Carolina Press. 2002. XIV, 407 S..
ISBN 0-8078-2737-1 hbk

Logic Colloquium ©73: proceedings of the Logic Colloquium Bristol, July 1973
Rose, H. E. ¬[Hrsg.]¬
Amsterdam [u.a.]. North-Holland. 1975. VIII, 513 S.. Studies in logic and the foundations of mathematics ; 80.
ISBN 0-7204-2200-0

Logic Colloquium 76: proceedings of a conference held in Exford in July 1976
Gandy, R. O. ¬[Hrsg.]¬
Amsterdam [u.a.]. North-Holland. 1977. X, 612 S.. Studies in logic and the foundations of mathematics ; 87.
ISBN 0-7204-2200-0

Logic Colloquium ½77: proceedings of the colloquium held in WrocÛlaw, August 1977
MacIntyre, Angus _[Hrsg.]_
Amsterdam [u.a.]. North-Holland Publ.. 1978. X, 311 S.. Studies in logic and the foundations of mathematics ; 96.
ISBN 0-444-85178-X

LOGIC COLLOQUIUM '77 : PROC. OF THE COLLOQUIUM HELD IN WROCLAW, AUG. 1977 / ED. BY ANGUS MACINTYRE ..
MacIntyre, Angus
AMSTERDAM, NEW YORK, N.Y., OXFORD. NORTH-HOLLAND PUBL. CO.. 1978. X, 311 S.. STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS ; VOL. 96.
ISBN 0-444-85178-X

Logic Colloquium '78: proceedings of the colloquium held in Mons, August 1978
Boffa, Maurice
Amsterdam. North-Holland Publ.. 1979. X, 434 S.: 2 Ill., graph.Darst.. Studies in logic and the foundations of mathematics ; 97.
ISBN 0-444-85378-2

Logic Colloquium '80: Papers intended for the European summer Meeting of the Association for Symbolic Logic
Dalen, D. ¬van¬ ¬[Hrsg.]¬
Amsterdam [u.a.]. North-Holland. 1982. X, 342 S.. Studies in Logic and the Foundations of Mathematics ; 108.
ISBN 0-444-86465-2

Logic Colloquium '82
Lolli, Gabriele ¬[Hrsg.]¬
Amsterdam. North-Holland Publ. Co.. 1984. 358 S.. Studies in logic and the foundations of mathematics : 112.
ISBN 0-444-86876-3

Logic Colloquium '84: proceedings of the colloquium held in Manchester, UK, July 1984
Paris, Jeff B. ¬[Hrsg.]¬
Amsterdam ¬[u.a.]¬. North-Holland. 1986. X, 377 S. : graph. Darst.. Studies in logic and the foundations of mathematics ; 120.
ISBN 0-444-87999-4

Logic Colloquium '84. Proceedings of the Colloquium held in Manchester, U. K. July 1984
Paris, J. B. [Ed.]
Amsterdam. North-Holland. 1986. 10, 377 S.. Studies in logic and the foundations of mathematics ; Vol. 120.
ISBN 0-444-87999-4

Logic Colloquium '85: proceedings of the colloquium held in Orsay, France, July 1985
Amsterdam ¬[u.a.]¬. North-Holland. 1987. XIII, 308 S.. Studies in logic and the foundations of mathematics ; 122.
ISBN 0-444-70211-3

Logic Colloquium '86: proceedings of the colloquium held in Hull, UK, July 13 - 19, 1986
Drake, Frank R. ¬[Hrsg.]¬
Amsterdam ¬[u.a.]¬. North-Holland. 1988. IX, 342 S. : Ill., graph. Darst.. Studies in logic and the foundations of mathematics ; 124.
ISBN 0-444-70326-8

Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20 - 25, 1987
Ebbinghaus, Heinz-Dieter [Hrsg.]
Amsterdam [u.a.]. North-Holland. 1989. X, 375 S. : Ill., graph. Darst. Studies in logic and the foundations of mathematics ; 129.
ISBN 0-444-88022-4

Logic Colloquium '88: proceedings of the colloquium held in Padova, Italy, August 22 - 31., 1988
Ferro, Ruggero [Hrsg.]
Amsterdam [u.a.]. North-Holland. 1989. VIII, 403 S. : graph. Darst. Studies in logic and the foundations of mathematics ; 127.
ISBN 0-444-87455-0

Erzählweisen des Körpers: kreative Gestaltarbeit in Therapie, Beratung, Supervision und Gruppenarbeit
Richter, Kurt F.
1 Aufl.. Seelze-Velber. Kallmeyer. 1997. 308 S.. Edition: Gruppe & Spiel.
ISBN 3-7800-5810-3

Logic Colloquium ½90: ASL summer meeting in Helsinki
Oikkonen, Juha _[Hrsg.]_
Berlin [u.a.]. Springer. 1993. VIII, 305 S. : graph. Darst. ; 24 cm. Lecture notes in logic ; 2.
ISBN 3-540-57094-2

Wilhelm Busch: ASL summer meeting in Helsinki
Oikkonen, Juha ¬[Hrsg.]¬
Sonderausgabe. Berlin [u.a.]. Springer. 1989. 349 S. : überw. Ill..
ISBN keine, geb.

Logic Colloquium '92: [held Aug. 9 - 15, 1992, Veszprém, Hungary]
Csirmaz, László ¬[Hrsg.]¬
Stanfrod, Calif.. CSLI Publ. [u.a.]. 1995. XIII, 319 S.. Studies in logic, language and computation.
ISBN 1-881526-97-6

Logic Colloquium '92: [held Aug. 9 - 15, 1992]
Csirmaz, László ¬[Hrsg.]¬
1 Aufl.. Standford, Calif.. Center for the Study of Language Information [u.a.]. 1995. XIII, 319 S. : graph. Darst.. Studies in logic, language and information.
ISBN 1-881526-97-6

Csirma425 1926
24 S.. Neue deutsche Druckschriften ; H. 7.

Logic Colloquium '94: Clermont-Ferrand, France, 21 - 30 July 1994
Cegielski, Patrick
Amsterdam [u.a.]. North-Holland. 1997. 99 S.. Annals of pure and applied logic ; 89,1 : Special issue.

Logic Colloquium ½95: proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995
Makowsky, Johann A. _[Hrsg.]_
Berlin [u.a.]. Springer. 1998. XVI, 348 S. : graph. Darst. ; 24 cm. Lecture notes in logic ; 11.
ISBN 3-540-63994-2

Logic Colloquium '95: Haifa, 13 - 16 August 1995
Shore, Richard A.
Amsterdam [u.a.]. North-Holland. 1997. S. 102 - 185. Annals of pure and applied logic ; 87,2 : Special issue.

Logic Colloquium ½96: proceedings of the colloquium held in San Sebastian, Spain, July 9 - 15, 1996
Larrazabal, Jesus M. _[Hrsg.]_
Berlin [u.a.]. Springer. 1998. VI, 261 S. ; 24 cm. Lecture notes in logic ; 12.
ISBN 3-540-64668-x

Logic Colloquium '98: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
Buss, Samuel R. ; Hájek, Petr ; Pudlák, Pavel
Natick, Mass. Association for Symbolic Logic. 2000. xv, 541 p.. Lecture notes in logic ; 13.
ISBN 1-568-81113-6 hc : acid-free paper

Logic Colloquium '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1 - 6, 1999
Eijck, Jan van ; Oostrom, Vincent van ; Visser, Albert
Urbana, Ill. [u.a.]. Assoc. for Symbolic Logic. 2004. VIII, 208 S.. Lecture notes in logic ; 17.
ISBN 1-568-81199-3 acid-free paper

Logic Colloquium &apos;73: proceedings of the Logic Colloquium, Bristol, July 1973
Rose, H. E. [Hrsg.] ; Shepherdson, J. C. [Hrsg.]
Amsterdam [u.a.]. North-Holland Publ.. 1975. VIII, 513 S.. Studies in logic and the foundations of mathematics ; 80.
ISBN 0-7204-2282-5

Logic Colloquium eighty: papers intended for the European Summer Meeting of the Association for Symbolic Logic
Dalen, Dirk ¬van¬ ¬[Hrsg.]¬
Amsterdam. North-Holland Publ. Co.. 1982. 342 S.. Studies in logic and the foundations of mathematics ; 108.
ISBN 0-444-86465-2

Logic Colloquium seventy-seven: proc. of the Colloquium held in Wroclaw, Aug. 1977
MacIntyre, Angus ¬[Hrsg.]¬
Amsterdam. North-Holland Publ. Co.. 1978. 311 S.. Studies in logic and the foundations of mathematics ; 96.
ISBN 0-444-85178-X

Logic Colloquium seventysix: proceedings of a conference held in Oxford in July 1976
Gandy, Robin Oliver ¬[Hrsg.]¬
Amsterdam. North-Holland Publ. Co.. 1977. 612 S.. Studies in logic and the foundations of mathematics ; 87.
ISBN 0-7204-0691-9

Logic colloquium seventy-three: proceedings of the Logic colloquium, Bristol, July 1973
Rose, Harvey E. ¬[Hrsg.]¬
Amsterdam. North-Holland. 1975. 513 S.. Studies in logic and the foundations of mathematics ; 80.

Logic Colloquium sixtynine: proceeding of the Summer School and Colloquium in Mathematical Logic, Manchester, Aug. 1969
Gandy, Robin Oliver ¬[Hrsg.]¬
Amsterdam. North-Holland Publ. Co. 1971. 451 S.. Studies in logic and the foundations of mathematics ; 61.
ISBN 0-7204-2261-2

Logic, computers,and sets
Wang, Hao
1 Aufl.. New York, NY. Chelsea. 1970. X, 651 S..

Logic Conference: proceedings of the International Summer Institute and Logic Colloquium -ISILC-, Kiel, 17. July-3. Aug. 1974
Müller, Gert Heinz [Hrsg.] ; Oberschelp, Arnold [Hrsg.] ; Potthoff, Klaus [Hrsg.]
Berlin. Springer. 1975. IV, 651 S.. Lecture notes in mathematics. 499.
ISBN 3-540-07534-8

Logic control: Markovian fragments, hierarchy and hybrid systems
Wei, Yuan-Jun
1995. 177 S..
ISBN 0-612-08167-2

Logic, convention, and common knowledge: a conventionalist account of logic
Syverson, Paul
Stanford, Calif.. CSLI Publications. 2003. XIII, 158 S.. CSLI lectures notes ; 142.
ISBN 1-575-86392-8 pbk. : alk. paper

Logic counts
ÇZarnecka-Bialy, Ewa
Dordrecht [u.a.]. Kluwer. 1990. XII, 230 S.. Reason and argument ; 3.
ISBN 0-7923-0942-1

Logic databases and the meaning of change: 23.09. - 27.09.96 (9639)
Bocca, Jorge ¬[Hrsg.]¬
Wadern. Schloß Dagstuhl, Internat. Begegnungs- u. Forschungszentrum für Informatik. 1997. 36 S.. Dagstuhl-Seminar-Report ; 157.

Logic design: a review of theory and practice
Langdon, Glen G.
New York. Acad.Pr.. 1974. IX, 179 S.. ACM monograph series.
ISBN 0-12-436550-7

Logic design: A bibliography with abstracts
1975. 147 S.. Reports ; NTIS/PS-75/831.

Logic design: an introduction to digital logic
Wharton, Mike
Oxford. Newnes. 1994. VV, 128 S.. The Maplin series.
ISBN 0-7506-2122-2

Logic design
Chen, Wai-Kai
Boca Raton, Fla. [u.a.]. CRC Press. 2003. Getr. Zählung. Principles and applications in engineering series ; 5.
ISBN 0-8493-1734-7 alk. paper

Logic design algorithms
Zissos, Demetrius
London. Oxford Univ. P.. 1972. 10, 458 S.. Harwell series.
ISBN 0-19-851711-4

Logic design and computer organization
Lewin, Morton H.
Reading, Mass. [u.a.]. Addison-Wesley. 1983.

Logic design and simulation
Hörbst, Egon [Ed.]
Amsterdam. North-Holland. 1986. 10, 286 S.. Advances in CAD for VLSI ; Vol. 2.
ISBN 0-444-87892-0

Logic design and switching theory
Muroga, Saburo
Repr. mit Korr. d. Ausg. New York, 1979. Malabar, Fla.. Krieger. 1990. XVI, 617 S..
ISBN 0-89464-463-7

Logic Design and switching theory
Muroga, Saburo
New York. Wiley. 1979. 617 S.. A Wiley-interscience publication.
ISBN 0-471-04418-0

Logic designer's Handbook
Parr, Eric A.
London [u.a.]. Granada. 1984. XVI, 456 S..
ISBN 0-246-11888-1